| [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 */ | 
|---|
| [644] | 78 | .power { | 
|---|
 | 79 |   width: 32px; | 
|---|
 | 80 |   height: 32px; | 
|---|
 | 81 |   background-color: transparent; | 
|---|
 | 82 |   background-position: 0 0; | 
|---|
 | 83 |   margin: 0; | 
|---|
 | 84 |   border: 0; | 
|---|
 | 85 |   text-indent: 64px; | 
|---|
 | 86 |   line-height: 128px; | 
|---|
 | 87 |   cursor: pointer; | 
|---|
| [639] | 88 | } | 
|---|
| [644] | 89 | .power:hover { | 
|---|
 | 90 |   background-position: 0 32px; | 
|---|
| [639] | 91 | } | 
|---|
| [644] | 92 | .power.on { | 
|---|
 | 93 |   background-image: url(power_button_on.png); | 
|---|
 | 94 | } | 
|---|
 | 95 | .power.off { | 
|---|
 | 96 |   background-image: url(power_button_off.png); | 
|---|
 | 97 | } | 
|---|
| [639] | 98 |  | 
|---|
| [618] | 99 | /* Striping applied (by JavaScript) to every other row in /list. */ | 
|---|
 | 100 | tr.stripedrow { | 
|---|
| [644] | 101 |   background-color: #e8e8ff; | 
|---|
| [618] | 102 | } | 
|---|
| [621] | 103 |  | 
|---|
| [644] | 104 | #machinelist td, #machinelist th { | 
|---|
 | 105 |   padding: 0.1em 0.5em; | 
|---|
| [621] | 106 | } | 
|---|
| [2417] | 107 |  | 
|---|
 | 108 | form { | 
|---|
 | 109 |     display: inline; | 
|---|
 | 110 | } | 
|---|