]> matita.cs.unibo.it Git - helm.git/commitdiff
added CSS information for (forthcoming) bottom bar
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 15:26:20 +0000 (15:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 15:26:20 +0000 (15:26 +0000)
helm/searchEngine/html/moogle.html

index dd64296346296e7299a2c73efcb4a08801963fa5..862e425b6f00d4ec3d1c0ebfbd171058f793cf1e 100644 (file)
@@ -9,6 +9,14 @@
     border-width: thin;
     border-color: #3366cc;
   }
+  div.bottombar {
+    background-color: #e5ecf9;
+    border-top: solid;
+    border-bottom: solid;
+    border-width: thin;
+    border-color: #3366cc;
+    text-align: center;
+  }
   td.left { text-align: left }
   td.right { text-align: right }
   b.error { color: red }