1/* CSS styles for Coverage. */
2/* Page-wide styles */
3html, 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. */
16body {
17    font-family: georgia, serif;
18    font-size: 1em;
19    }
20
21html>body {
22    font-size: 16px;
23    }
24
25/* Set base font size to 12/16 */
26p {
27    font-size: .75em;        /* 12/16 */
28    line-height: 1.3333em;   /* 16/12 */
29    }
30
31table {
32    border-collapse: collapse;
33    }
34
35a.nav {
36    text-decoration: none;
37    color: inherit;
38    }
39a.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
81h1 {
82    font-size: 1.25em;
83}
84
85h2.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/* Help panel */
106#keyboard_icon {
107    float: right;
108    cursor: pointer;
109}
110
111.help_panel {
112    position: absolute;
113    background: #ffc;
114    padding: .5em;
115    border: 1px solid #883;
116    display: none;
117}
118
119#indexfile .help_panel {
120    width: 20em; height: 4em;
121}
122
123#pyfile .help_panel {
124    width: 16em; height: 8em;
125}
126
127.help_panel .legend {
128    font-style: italic;
129    margin-bottom: 1em;
130}
131
132#panel_icon {
133    float: right;
134    cursor: pointer;
135}
136
137.keyhelp {
138    margin: .75em;
139}
140
141.keyhelp .key {
142    border: 1px solid black;
143    border-color: #888 #333 #333 #888;
144    padding: .1em .35em;
145    font-family: monospace;
146    font-weight: bold;
147    background: #eee;
148}
149
150/* Source file styles */
151.linenos p {
152    text-align: right;
153    margin: 0;
154    padding: 0 .5em;
155    color: #999999;
156    font-family: verdana, sans-serif;
157    font-size: .625em;   /* 10/16 */
158    line-height: 1.6em;  /* 16/10 */
159    }
160.linenos p.highlight {
161    background: #ffdd00;
162    }
163.linenos p a {
164    text-decoration: none;
165    color: #999999;
166    }
167.linenos p a:hover {
168    text-decoration: underline;
169    color: #999999;
170    }
171
172td.text {
173    width: 100%;
174    }
175.text p {
176    margin: 0;
177    padding: 0 0 0 .5em;
178    border-left: 2px solid #ffffff;
179    white-space: nowrap;
180    }
181
182.text p.mis {
183    background: #ffdddd;
184    border-left: 2px solid #ff0000;
185    }
186.text p.run, .text p.run.hide_par {
187    background: #ddffdd;
188    border-left: 2px solid #00ff00;
189    }
190.text p.exc {
191    background: #eeeeee;
192    border-left: 2px solid #808080;
193    }
194.text p.par, .text p.par.hide_run {
195    background: #ffffaa;
196    border-left: 2px solid #eeee99;
197    }
198.text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par,
199.text p.hide_run.hide_par {
200    background: inherit;
201    }
202
203.text span.annotate {
204    font-family: georgia;
205    font-style: italic;
206    color: #666;
207    float: right;
208    padding-right: .5em;
209    }
210.text p.hide_par span.annotate {
211    display: none;
212    }
213
214/* Syntax coloring */
215.text .com {
216    color: green;
217    font-style: italic;
218    line-height: 1px;
219    }
220.text .key {
221    font-weight: bold;
222    line-height: 1px;
223    }
224.text .str {
225    color: #000080;
226    }
227
228/* index styles */
229#index td, #index th {
230    text-align: right;
231    width: 5em;
232    padding: .25em .5em;
233    border-bottom: 1px solid #eee;
234    }
235#index th {
236    font-style: italic;
237    color: #333;
238    border-bottom: 1px solid #ccc;
239    cursor: pointer;
240    }
241#index th:hover {
242    background: #eee;
243    border-bottom: 1px solid #999;
244    }
245#index td.left, #index th.left {
246    padding-left: 0;
247    }
248#index td.right, #index th.right {
249    padding-right: 0;
250    }
251#index th.headerSortDown, #index th.headerSortUp {
252    border-bottom: 1px solid #000;
253    }
254#index td.name, #index th.name {
255    text-align: left;
256    width: auto;
257    }
258#index td.name a {
259    text-decoration: none;
260    color: #000;
261    }
262#index td.name a:hover {
263    text-decoration: underline;
264    color: #000;
265    }
266#index tr.total {
267    }
268#index tr.total td {
269    font-weight: bold;
270    border-top: 1px solid #ccc;
271    border-bottom: none;
272    }
273#index tr.file:hover {
274    background: #eeeeee;
275    }
276