1 /* CSS styles for Coverage. */ |
|
2 /* Page-wide styles */ |
|
3 html, body, h1, h2, h3, p, td, th { |
|
4 margin: 0; |
|
5 padding: 0; |
|
6 border: 0; |
|
7 outline: 0; |
|
8 font-weight: inherit; |
|
9 font-style: inherit; |
|
10 font-size: 100%; |
|
11 font-family: inherit; |
|
12 vertical-align: baseline; |
|
13 } |
|
14 |
|
15 /* Set baseline grid to 16 pt. */ |
|
16 body { |
|
17 font-family: georgia, serif; |
|
18 font-size: 1em; |
|
19 } |
|
20 |
|
21 html>body { |
|
22 font-size: 16px; |
|
23 } |
|
24 |
|
25 /* Set base font size to 12/16 */ |
|
26 p { |
|
27 font-size: .75em; /* 12/16 */ |
|
28 line-height: 1.33333333em; /* 16/12 */ |
|
29 } |
|
30 |
|
31 table { |
|
32 border-collapse: collapse; |
|
33 } |
|
34 |
|
35 a.nav { |
|
36 text-decoration: none; |
|
37 color: inherit; |
|
38 } |
|
39 a.nav:hover { |
|
40 text-decoration: underline; |
|
41 color: inherit; |
|
42 } |
|
43 |
|
44 /* Page structure */ |
|
45 #header { |
|
46 background: #f8f8f8; |
|
47 width: 100%; |
|
48 border-bottom: 1px solid #eee; |
|
49 } |
|
50 |
|
51 #source { |
|
52 padding: 1em; |
|
53 font-family: "courier new", monospace; |
|
54 } |
|
55 |
|
56 #indexfile #footer { |
|
57 margin: 1em 3em; |
|
58 } |
|
59 |
|
60 #pyfile #footer { |
|
61 margin: 1em 1em; |
|
62 } |
|
63 |
|
64 #footer .content { |
|
65 padding: 0; |
|
66 font-size: 85%; |
|
67 font-family: verdana, sans-serif; |
|
68 color: #666666; |
|
69 font-style: italic; |
|
70 } |
|
71 |
|
72 #index { |
|
73 margin: 1em 0 0 3em; |
|
74 } |
|
75 |
|
76 /* Header styles */ |
|
77 #header .content { |
|
78 padding: 1em 3em; |
|
79 } |
|
80 |
|
81 h1 { |
|
82 font-size: 1.25em; |
|
83 } |
|
84 |
|
85 h2.stats { |
|
86 margin-top: .5em; |
|
87 font-size: 1em; |
|
88 } |
|
89 .stats span { |
|
90 border: 1px solid; |
|
91 padding: .1em .25em; |
|
92 margin: 0 .1em; |
|
93 cursor: pointer; |
|
94 border-color: #999 #ccc #ccc #999; |
|
95 } |
|
96 .stats span.hide_run, .stats span.hide_exc, |
|
97 .stats span.hide_mis, .stats span.hide_par, |
|
98 .stats span.par.hide_run.hide_par { |
|
99 border-color: #ccc #999 #999 #ccc; |
|
100 } |
|
101 .stats span.par.hide_run { |
|
102 border-color: #999 #ccc #ccc #999; |
|
103 } |
|
104 |
|
105 .stats span.run { |
|
106 background: #ddffdd; |
|
107 } |
|
108 .stats span.exc { |
|
109 background: #eeeeee; |
|
110 } |
|
111 .stats span.mis { |
|
112 background: #ffdddd; |
|
113 } |
|
114 .stats span.hide_run { |
|
115 background: #eeffee; |
|
116 } |
|
117 .stats span.hide_exc { |
|
118 background: #f5f5f5; |
|
119 } |
|
120 .stats span.hide_mis { |
|
121 background: #ffeeee; |
|
122 } |
|
123 .stats span.par { |
|
124 background: #ffffaa; |
|
125 } |
|
126 .stats span.hide_par { |
|
127 background: #ffffcc; |
|
128 } |
|
129 |
|
130 /* Help panel */ |
|
131 #keyboard_icon { |
|
132 float: right; |
|
133 cursor: pointer; |
|
134 } |
|
135 |
|
136 .help_panel { |
|
137 position: absolute; |
|
138 background: #ffc; |
|
139 padding: .5em; |
|
140 border: 1px solid #883; |
|
141 display: none; |
|
142 } |
|
143 |
|
144 #indexfile .help_panel { |
|
145 width: 20em; height: 4em; |
|
146 } |
|
147 |
|
148 #pyfile .help_panel { |
|
149 width: 16em; height: 8em; |
|
150 } |
|
151 |
|
152 .help_panel .legend { |
|
153 font-style: italic; |
|
154 margin-bottom: 1em; |
|
155 } |
|
156 |
|
157 #panel_icon { |
|
158 float: right; |
|
159 cursor: pointer; |
|
160 } |
|
161 |
|
162 .keyhelp { |
|
163 margin: .75em; |
|
164 } |
|
165 |
|
166 .keyhelp .key { |
|
167 border: 1px solid black; |
|
168 border-color: #888 #333 #333 #888; |
|
169 padding: .1em .35em; |
|
170 font-family: monospace; |
|
171 font-weight: bold; |
|
172 background: #eee; |
|
173 } |
|
174 |
|
175 /* Source file styles */ |
|
176 .linenos p { |
|
177 text-align: right; |
|
178 margin: 0; |
|
179 padding: 0 .5em; |
|
180 color: #999999; |
|
181 font-family: verdana, sans-serif; |
|
182 font-size: .625em; /* 10/16 */ |
|
183 line-height: 1.6em; /* 16/10 */ |
|
184 } |
|
185 .linenos p.highlight { |
|
186 background: #ffdd00; |
|
187 } |
|
188 .linenos p a { |
|
189 text-decoration: none; |
|
190 color: #999999; |
|
191 } |
|
192 .linenos p a:hover { |
|
193 text-decoration: underline; |
|
194 color: #999999; |
|
195 } |
|
196 |
|
197 td.text { |
|
198 width: 100%; |
|
199 } |
|
200 .text p { |
|
201 margin: 0; |
|
202 padding: 0 0 0 .5em; |
|
203 border-left: 2px solid #ffffff; |
|
204 white-space: nowrap; |
|
205 } |
|
206 |
|
207 .text p.mis { |
|
208 background: #ffdddd; |
|
209 border-left: 2px solid #ff0000; |
|
210 } |
|
211 .text p.run, .text p.run.hide_par { |
|
212 background: #ddffdd; |
|
213 border-left: 2px solid #00ff00; |
|
214 } |
|
215 .text p.exc { |
|
216 background: #eeeeee; |
|
217 border-left: 2px solid #808080; |
|
218 } |
|
219 .text p.par, .text p.par.hide_run { |
|
220 background: #ffffaa; |
|
221 border-left: 2px solid #eeee99; |
|
222 } |
|
223 .text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par, |
|
224 .text p.hide_run.hide_par { |
|
225 background: inherit; |
|
226 } |
|
227 |
|
228 .text span.annotate { |
|
229 font-family: georgia; |
|
230 font-style: italic; |
|
231 color: #666; |
|
232 float: right; |
|
233 padding-right: .5em; |
|
234 } |
|
235 .text p.hide_par span.annotate { |
|
236 display: none; |
|
237 } |
|
238 |
|
239 /* Syntax coloring */ |
|
240 .text .com { |
|
241 color: green; |
|
242 font-style: italic; |
|
243 line-height: 1px; |
|
244 } |
|
245 .text .key { |
|
246 font-weight: bold; |
|
247 line-height: 1px; |
|
248 } |
|
249 .text .str { |
|
250 color: #000080; |
|
251 } |
|
252 |
|
253 /* index styles */ |
|
254 #index td, #index th { |
|
255 text-align: right; |
|
256 width: 5em; |
|
257 padding: .25em .5em; |
|
258 border-bottom: 1px solid #eee; |
|
259 } |
|
260 #index th { |
|
261 font-style: italic; |
|
262 color: #333; |
|
263 border-bottom: 1px solid #ccc; |
|
264 cursor: pointer; |
|
265 } |
|
266 #index th:hover { |
|
267 background: #eee; |
|
268 border-bottom: 1px solid #999; |
|
269 } |
|
270 #index td.left, #index th.left { |
|
271 padding-left: 0; |
|
272 } |
|
273 #index td.right, #index th.right { |
|
274 padding-right: 0; |
|
275 } |
|
276 #index th.headerSortDown, #index th.headerSortUp { |
|
277 border-bottom: 1px solid #000; |
|
278 } |
|
279 #index td.name, #index th.name { |
|
280 text-align: left; |
|
281 width: auto; |
|
282 } |
|
283 #index td.name a { |
|
284 text-decoration: none; |
|
285 color: #000; |
|
286 } |
|
287 #index td.name a:hover { |
|
288 text-decoration: underline; |
|
289 color: #000; |
|
290 } |
|
291 #index tr.total { |
|
292 } |
|
293 #index tr.total td { |
|
294 font-weight: bold; |
|
295 border-top: 1px solid #ccc; |
|
296 border-bottom: none; |
|
297 } |
|
298 #index tr.file:hover { |
|
299 background: #eeeeee; |
|
300 } |
|