X-Git-Url: http://xvm.mit.edu/gitweb/invirt/packages/invirt-web.git/blobdiff_plain/e37dd15bbf8683bab8454ea0eec8e9968ce982b2..432dd1060e6d3d1208e35889767e6b40a4421e6c:/code/static/style.css

diff --git a/code/static/style.css b/code/static/style.css
index f311640..35bc5df 100644
--- a/code/static/style.css
+++ b/code/static/style.css
@@ -1,16 +1,10 @@
-h1 {
-    border-bottom: 1px dashed black;
-    margin-top: 0;
-    overflow: auto;
-}
-h1, h2, h3, h4, h5, h6 {
-    font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
-    font-weight: bold;
-    color: #529;
-}
-kbd, dt {
-    font-weight: bold;
-}
+/*
+  Good style ideas stolen from Debathena.
+  Hey, we use some different fonts.
+  And the colors are unmistakably different.
+*/
+
+/* Basic fonts and sizes. */
 html {
     font-size: 87.5%;
 }
@@ -21,29 +15,23 @@ pre, code, samp, kbd, tt {
     font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
     font-size: 100%;
 }
-#logo {
-    float: right;
-    margin: -1em -1em 0 0;
-}
-#logo img {
-    border: none;
-}
-p, li {
-    line-height: 1.5em;
+
+/* Blue headings. */
+h1, h2, h3, h4, h5, h6 {
+    color: #13a;
 }
-.long li, .long dd {
-    margin-bottom: .5em;
+
+/* Dividing line under the header. */
+h1 {
+    border-bottom: 1px solid black;
+    margin-top: 0;
+    overflow: auto;
 }
+
 pre {
     background: #f6f6f6;
     border: 1px solid #ddd;
     padding: .125em;
-    line-height: 1.25em;
-}
-.note {
-    border: 1px solid #eea;
-    background: #ffd;
-    padding: .25em;
 }
 a:link, a:visited {
     text-decoration: none;
@@ -51,37 +39,37 @@ a:link, a:visited {
 a:link:hover, a:visited:hover {
     text-decoration: underline;
 }
-var {
-    color: #090;
-}
-.index h1 tt {
-    font-size: 83%;
-}
-.index table {
-    border-collapse: collapse;
-}
-.index table td {
-    padding: 0 0.5em;
-}
-.index table td a {
-    font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
-}
 
-#loadingnotice {
-    padding: 2px;
-    display: none;
-    color: #FFFFFF;
-    background: #CC2200;
-    position: fixed;
-    right: 10px;
-    top: 5px;
+/* Keep help-popup links unbolded in e.g. table headings. */
+.helplink {
+  font-weight: normal;
 }
 
+/* Highlight error messages in bright red. */
 .error {
   color: #FF0000;
   padding: 0.25em;
 }
-
 td.error {
   border: 1px solid red;
-}
\ No newline at end of file
+}
+
+/* Navigation bar. */
+.navigation {
+  padding: 0em 1em;
+  font-size: 125%;
+  font-weight: bold;
+  font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
+}
+.navigation li {
+  display: inline;
+  padding: .2em;
+}
+
+/* Logged-in welcome message. */
+.loggedin {
+  float: right;
+}
+.loggedin .name {
+  font-weight: bold;
+}