2 Good style ideas stolen from Debathena.
3 Hey, we use some different fonts.
4 And the colors are unmistakably different.
7 /* Basic fonts and sizes. */
12 font-family: Tahoma, Sans, sans-serif;
14 pre, code, samp, kbd, tt {
15 font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
20 h1, h2, h3, h4, h5, h6 {
24 /* Dividing line under the header. */
26 border-bottom: 1px solid black;
33 border: 1px solid #ddd;
37 text-decoration: none;
39 a:link:hover, a:visited:hover {
40 text-decoration: underline;
43 /* Keep help-popup links unbolded in e.g. table headings. */
48 /* Highlight error messages in bright red. */
54 border: 1px solid red;
60 border: 1px solid red;
69 font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
76 /* Logged-in welcome message. */
84 /* Machine list power buttons */
88 background-color: transparent;
89 background-position: 0 0;
97 background-position: 0 32px;
100 background-image: url(power_button_on.png);
103 background-image: url(power_button_off.png);
106 /* Striping applied (by JavaScript) to every other row in /list. */
108 background-color: #e8e8ff;
111 #machinelist td, #machinelist th {
112 padding: 0.1em 0.5em;
119 /* styling for the results box */
121 background-color: #e8e8ff;
122 border: 1px black solid;