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

diff --git a/code/static/style.css b/code/static/style.css
index f311640..9bea2e9 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,79 @@ a:link, a:visited {
 a:link:hover, a:visited:hover {
     text-decoration: underline;
 }
-var {
-    color: #090;
+
+/* 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;
 }
-.index h1 tt {
-    font-size: 83%;
+
+/* Navigation bar. */
+.navigation {
+  padding: 0em 1em;
+  font-size: 125%;
+  font-weight: bold;
+  font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
 }
-.index table {
-    border-collapse: collapse;
+.navigation li {
+  display: inline;
+  padding: .2em;
 }
-.index table td {
-    padding: 0 0.5em;
+
+/* Logged-in welcome message. */
+.loggedin {
+  float: right;
 }
-.index table td a {
-    font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
+.loggedin .name {
+  font-weight: bold;
 }
 
-#loadingnotice {
-    padding: 2px;
-    display: none;
-    color: #FFFFFF;
-    background: #CC2200;
-    position: fixed;
-    right: 10px;
-    top: 5px;
+/* Machine list power buttons */
+.power {
+  width: 32px;
+  height: 32px;
+  background-color: transparent;
+  background-position: 0 0;
+  margin: 0;
+  border: 0;
+  text-indent: 64px;
+  line-height: 128px;
+  cursor: pointer;
+}
+.power:hover {
+  background-position: 0 32px;
+}
+.power.on {
+  background-image: url(power_button_on.png);
+}
+.power.off {
+  background-image: url(power_button_off.png);
 }
 
-.error {
-  color: #FF0000;
-  padding: 0.25em;
+/* Striping applied (by JavaScript) to every other row in /list. */
+tr.stripedrow {
+  background-color: #e8e8ff;
 }
 
-td.error {
-  border: 1px solid red;
-}
\ No newline at end of file
+#machinelist td, #machinelist th {
+  padding: 0.1em 0.5em;
+}
+
+form {
+    display: inline;
+}
+
+/* styling for the results box */
+.result {
+    background-color: #e8e8ff;
+    border: 1px black solid;
+    padding: 1ex;
+}