From e7073c1575f39a27eee725d1218cf8b304871e98 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 9 Apr 2010 13:51:34 +0000
Subject: Adding the Minibar files to the darcs repository.

---
 src/runtime/javascript/minibar/minibar.css | 37 ++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 src/runtime/javascript/minibar/minibar.css

(limited to 'src/runtime/javascript/minibar/minibar.css')

diff --git a/src/runtime/javascript/minibar/minibar.css b/src/runtime/javascript/minibar/minibar.css
new file mode 100644
index 000000000..17d7350c9
--- /dev/null
+++ b/src/runtime/javascript/minibar/minibar.css
@@ -0,0 +1,37 @@
+body {
+    background: #ccc url("http://www.grammaticalframework.org:41296/fridge/se.chalmers.cs.gf.gwt.FridgeApp/brushed-metal.png");
+}
+
+h1, h2, h3, small, th { font-family: sans-serif; }
+
+th, td { vertical-align: baseline; text-align: left; }
+
+div#surface {
+    min-height: 3ex;
+    margin: 5px;
+    padding: 5px;
+    border: 3px dashed #e0e0e0;
+}
+
+div#words {
+    min-height: 3ex;
+    margin: 5px;
+    padding: 6px;
+    border: 3px solid #e0e0e0;
+}
+
+div.word, span.word, div#words div {
+    display: inline-block;
+    font-family: sans-serif;
+    background-color: white;
+    border: 1px solid black;
+    padding: 3px;
+    margin: 3px;
+}
+
+.invalid { color: red; }
+
+div.modtime { float: right; }
+.modtime { color: #444; white-space: nowrap; }
+
+ul.space>li { margin-top: 0.5ex; }
-- 
cgit v1.2.3