X-Git-Url: http://xvm.mit.edu/gitweb/invirt/packages/invirt-web.git/blobdiff_plain/92b752596b70b8f01c935dd9b0d8be63070261c2..bb8095c7f6e9f57d9854188e4fbb12efb70dbf0b:/code/static/style.css?ds=sidebyside

diff --git a/code/static/style.css b/code/static/style.css
index 685c06e..9bea2e9 100644
--- a/code/static/style.css
+++ b/code/static/style.css
@@ -11,10 +11,6 @@ html {
 body {
     font-family: Tahoma, Sans, sans-serif;
 }
-h1, h2, h3, h4, h5, h6 {
-    font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
-    font-weight: bold;
-}
 pre, code, samp, kbd, tt {
     font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
     font-size: 100%;
@@ -25,9 +21,9 @@ h1, h2, h3, h4, h5, h6 {
     color: #13a;
 }
 
-/* Dashed line under the header. */
+/* Dividing line under the header. */
 h1 {
-    border-bottom: 1px dashed black;
+    border-bottom: 1px solid black;
     margin-top: 0;
     overflow: auto;
 }
@@ -44,6 +40,11 @@ a:link:hover, a:visited:hover {
     text-decoration: underline;
 }
 
+/* Keep help-popup links unbolded in e.g. table headings. */
+.helplink {
+  font-weight: normal;
+}
+
 /* Highlight error messages in bright red. */
 .error {
   color: #FF0000;
@@ -52,3 +53,65 @@ a:link:hover, a:visited:hover {
 td.error {
   border: 1px solid red;
 }
+
+/* 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;
+}
+
+/* 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);
+}
+
+/* Striping applied (by JavaScript) to every other row in /list. */
+tr.stripedrow {
+  background-color: #e8e8ff;
+}
+
+#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;
+}