[415] | 1 | /* |
---|
| 2 | Good style ideas stolen from Debathena. |
---|
| 3 | Hey, we use some different fonts. |
---|
| 4 | And the colors are unmistakably different. |
---|
| 5 | */ |
---|
| 6 | |
---|
| 7 | /* Basic fonts and sizes. */ |
---|
[178] | 8 | html { |
---|
| 9 | font-size: 87.5%; |
---|
| 10 | } |
---|
| 11 | body { |
---|
| 12 | font-family: Tahoma, Sans, sans-serif; |
---|
| 13 | } |
---|
| 14 | pre, code, samp, kbd, tt { |
---|
| 15 | font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace; |
---|
| 16 | font-size: 100%; |
---|
| 17 | } |
---|
[415] | 18 | |
---|
| 19 | /* Blue headings. */ |
---|
| 20 | h1, h2, h3, h4, h5, h6 { |
---|
| 21 | color: #13a; |
---|
[178] | 22 | } |
---|
[415] | 23 | |
---|
[428] | 24 | /* Dividing line under the header. */ |
---|
[415] | 25 | h1 { |
---|
[428] | 26 | border-bottom: 1px solid black; |
---|
[415] | 27 | margin-top: 0; |
---|
| 28 | overflow: auto; |
---|
[178] | 29 | } |
---|
[415] | 30 | |
---|
[178] | 31 | pre { |
---|
| 32 | background: #f6f6f6; |
---|
| 33 | border: 1px solid #ddd; |
---|
| 34 | padding: .125em; |
---|
| 35 | } |
---|
| 36 | a:link, a:visited { |
---|
| 37 | text-decoration: none; |
---|
| 38 | } |
---|
| 39 | a:link:hover, a:visited:hover { |
---|
| 40 | text-decoration: underline; |
---|
| 41 | } |
---|
[205] | 42 | |
---|
[426] | 43 | /* Keep help-popup links unbolded in e.g. table headings. */ |
---|
| 44 | .helplink { |
---|
| 45 | font-weight: normal; |
---|
| 46 | } |
---|
| 47 | |
---|
[415] | 48 | /* Highlight error messages in bright red. */ |
---|
[205] | 49 | .error { |
---|
| 50 | color: #FF0000; |
---|
| 51 | padding: 0.25em; |
---|
| 52 | } |
---|
| 53 | td.error { |
---|
| 54 | border: 1px solid red; |
---|
[415] | 55 | } |
---|
[416] | 56 | |
---|
| 57 | /* Navigation bar. */ |
---|
| 58 | .navigation { |
---|
| 59 | padding: 0em 1em; |
---|
| 60 | font-size: 125%; |
---|
| 61 | font-weight: bold; |
---|
| 62 | font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif; |
---|
| 63 | } |
---|
| 64 | .navigation li { |
---|
| 65 | display: inline; |
---|
| 66 | padding: .2em; |
---|
| 67 | } |
---|
[417] | 68 | |
---|
| 69 | /* Logged-in welcome message. */ |
---|
| 70 | .loggedin { |
---|
| 71 | float: right; |
---|
| 72 | } |
---|
| 73 | .loggedin .name { |
---|
| 74 | font-weight: bold; |
---|
| 75 | } |
---|
[618] | 76 | |
---|
[639] | 77 | /* Machine list power buttons */ |
---|
| 78 | .power.on:hover { |
---|
| 79 | background: url(/static/power_button_on_to_off_bg.png); |
---|
| 80 | } |
---|
| 81 | .power.off:hover { |
---|
| 82 | background: url(/static/power_button_off_to_on_bg.png); |
---|
| 83 | } |
---|
| 84 | |
---|
[618] | 85 | /* Striping applied (by JavaScript) to every other row in /list. */ |
---|
| 86 | tr.stripedrow { |
---|
| 87 | background-color: #DDF; |
---|
| 88 | } |
---|
[621] | 89 | |
---|
| 90 | #machinelist tr > td:first-child { |
---|
| 91 | padding-right: 1em; |
---|
| 92 | } |
---|