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%;
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;
}
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;
.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;
+}