1 /* CSS styles for Coverage. */
3 html
, body
, h1
, h2
, h3
, p
, td
, th
{
12 vertical-align: baseline
;
15 /* Set baseline grid to 16 pt. */
17 font-family: georgia
, serif
;
25 /* Set base font size to 12/16 */
27 font-size: .75em; /* 12/16 */
28 line-height: 1.33333333em; /* 16/12 */
32 border-collapse: collapse
;
36 text-decoration: none
;
40 text-decoration: underline
;
48 border-bottom: 1px solid
#eee;
53 font-family: "courier new", monospace
;
67 font-family: verdana
, sans-serif
;
94 border-color: #999 #ccc #ccc #999;
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;
101 .stats span.par.hide_run {
102 border-color: #999 #ccc #ccc #999;
114 .stats span.hide_run {
117 .stats span.hide_exc {
120 .stats span.hide_mis {
126 .stats span.hide_par {
140 border: 1px solid
#883;
144 #indexfile .help_panel
{
145 width: 20em; height: 4em;
148 #pyfile .help_panel
{
149 width: 16em; height: 8em;
152 .help_panel .legend {
167 border: 1px solid black
;
168 border-color: #888 #333 #333 #888;
170 font-family: monospace
;
175 /* Source file styles */
181 font-family: verdana
, sans-serif
;
182 font-size: .625em; /* 10/16 */
183 line-height: 1.6em; /* 16/10 */
185 .linenos p.highlight {
189 text-decoration: none
;
193 text-decoration: underline
;
203 border-left: 2px solid
#ffffff;
209 border-left: 2px solid
#ff0000;
211 .text p.run, .text p.run.hide_par {
213 border-left: 2px solid
#00ff00;
217 border-left: 2px solid
#808080;
219 .text p.par, .text p.par.hide_run {
221 border-left: 2px solid
#eeee99;
223 .text p
.hide_run
, .text p
.hide_exc
, .text p
.hide_mis
, .text p
.hide_par
,
224 .text p.hide_run.hide_par {
228 .text span.annotate {
229 font-family: georgia
;
235 .text p.hide_par span.annotate {
239 /* Syntax coloring */
254 #index td
, #index th
{
258 border-bottom: 1px solid
#eee;
263 border-bottom: 1px solid
#ccc;
268 border-bottom: 1px solid
#999;
270 #index td
.left
, #index th
.left
{
273 #index td
.right
, #index th
.right
{
276 #index th
.headerSortDown
, #index th
.headerSortUp
{
277 border-bottom: 1px solid
#000;
279 #index td
.name
, #index th
.name
{
284 text-decoration: none
;
287 #index td
.name
a:hover
{
288 text-decoration: underline
;
295 border-top: 1px solid
#ccc;
298 #index tr
.file:hover
{