-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%;
}
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;
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;
}
-.index h1 tt {
- font-size: 83%;
+
+/* Highlight error messages in bright red. */
+.error {
+ color: #FF0000;
+ padding: 0.25em;
}
-.index table {
- border-collapse: collapse;
+td.error {
+ border: 1px solid red;
}
-.index table td {
- padding: 0 0.5em;
+
+/* Navigation bar. */
+.navigation {
+ padding: 0em 1em;
+ font-size: 125%;
+ font-weight: bold;
+ font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
}
-.index table td a {
- font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
+.navigation li {
+ display: inline;
+ padding: .2em;
}
-#loadingnotice {
- padding: 2px;
- display: none;
- color: #FFFFFF;
- background: #CC2200;
- position: fixed;
- right: 10px;
- top: 5px;
+/* Logged-in welcome message. */
+.loggedin {
+ float: right;
+}
+.loggedin .name {
+ font-weight: bold;
}
-.error {
- color: #FF0000;
- padding: 0.25em;
+/* 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);
}
-td.error {
- border: 1px solid red;
-}
\ No newline at end of file
+/* Striping applied (by JavaScript) to every other row in /list. */
+tr.stripedrow {
+ background-color: #e8e8ff;
+}
+
+#machinelist td, #machinelist th {
+ padding: 0.1em 0.5em;
+}