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. */ |
---|
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 | } |
---|
18 | |
---|
19 | /* Blue headings. */ |
---|
20 | h1, h2, h3, h4, h5, h6 { |
---|
21 | color: #13a; |
---|
22 | } |
---|
23 | |
---|
24 | /* Dividing line under the header. */ |
---|
25 | h1 { |
---|
26 | border-bottom: 1px solid black; |
---|
27 | margin-top: 0; |
---|
28 | overflow: auto; |
---|
29 | } |
---|
30 | |
---|
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 | } |
---|
42 | |
---|
43 | /* Keep help-popup links unbolded in e.g. table headings. */ |
---|
44 | .helplink { |
---|
45 | font-weight: normal; |
---|
46 | } |
---|
47 | |
---|
48 | /* Highlight error messages in bright red. */ |
---|
49 | .error { |
---|
50 | color: #FF0000; |
---|
51 | padding: 0.25em; |
---|
52 | } |
---|
53 | td.error { |
---|
54 | border: 1px solid red; |
---|
55 | } |
---|
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 | } |
---|
68 | |
---|
69 | /* Logged-in welcome message. */ |
---|
70 | .loggedin { |
---|
71 | float: right; |
---|
72 | } |
---|
73 | .loggedin .name { |
---|
74 | font-weight: bold; |
---|
75 | } |
---|
76 | |
---|
77 | /* Machine list power buttons */ |
---|
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; |
---|
88 | } |
---|
89 | .power:hover { |
---|
90 | background-position: 0 32px; |
---|
91 | } |
---|
92 | .power.on { |
---|
93 | background-image: url(power_button_on.png); |
---|
94 | } |
---|
95 | .power.off { |
---|
96 | background-image: url(power_button_off.png); |
---|
97 | } |
---|
98 | |
---|
99 | /* Striping applied (by JavaScript) to every other row in /list. */ |
---|
100 | tr.stripedrow { |
---|
101 | background-color: #e8e8ff; |
---|
102 | } |
---|
103 | |
---|
104 | #machinelist td, #machinelist th { |
---|
105 | padding: 0.1em 0.5em; |
---|
106 | } |
---|
107 | |
---|
108 | form { |
---|
109 | display: inline; |
---|
110 | } |
---|