|
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.3333em; /* 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 #footer { |
|
57 font-size: 85%; |
|
58 font-family: verdana, sans-serif; |
|
59 color: #666666; |
|
60 font-style: italic; |
|
61 } |
|
62 |
|
63 #index { |
|
64 margin: 1em 0 0 3em; |
|
65 } |
|
66 |
|
67 /* Header styles */ |
|
68 .content { |
|
69 padding: 1em 3em; |
|
70 } |
|
71 |
|
72 h1 { |
|
73 font-size: 1.25em; |
|
74 } |
|
75 |
|
76 h2.stats { |
|
77 margin-top: .5em; |
|
78 font-size: 1em; |
|
79 } |
|
80 .stats span { |
|
81 border: 1px solid; |
|
82 padding: .1em .25em; |
|
83 margin: 0 .1em; |
|
84 cursor: pointer; |
|
85 border-color: #999 #ccc #ccc #999; |
|
86 } |
|
87 .stats span.hide { |
|
88 border-color: #ccc #999 #999 #ccc; |
|
89 } |
|
90 |
|
91 /* Source file styles */ |
|
92 .linenos p { |
|
93 text-align: right; |
|
94 margin: 0; |
|
95 padding: 0 .5em; |
|
96 color: #999999; |
|
97 font-family: verdana, sans-serif; |
|
98 font-size: .625em; /* 10/16 */ |
|
99 line-height: 1.6em; /* 16/10 */ |
|
100 } |
|
101 td.text { |
|
102 width: 100%; |
|
103 } |
|
104 .text p { |
|
105 margin: 0; |
|
106 padding: 0 0 0 .5em; |
|
107 border-left: 2px solid #ffffff; |
|
108 white-space: nowrap; |
|
109 } |
|
110 |
|
111 .text p.mis { |
|
112 background: #ffdddd; |
|
113 border-left: 2px solid #ff0000; |
|
114 } |
|
115 .text p.run { |
|
116 background: #ddffdd; |
|
117 border-left: 2px solid #00ff00; |
|
118 } |
|
119 .text p.exc { |
|
120 background: #eeeeee; |
|
121 border-left: 2px solid #808080; |
|
122 } |
|
123 .text p.hide { |
|
124 background: inherit; |
|
125 } |
|
126 |
|
127 /* index styles */ |
|
128 #index td, #index th { |
|
129 text-align: right; |
|
130 width: 6em; |
|
131 padding: .25em 0; |
|
132 border-bottom: 1px solid #eee; |
|
133 } |
|
134 #index th { |
|
135 font-style: italic; |
|
136 color: #333; |
|
137 border-bottom: 1px solid #ccc; |
|
138 } |
|
139 #index td.name, #index th.name { |
|
140 text-align: left; |
|
141 width: auto; |
|
142 height: 1.5em; |
|
143 } |
|
144 #index td.name a { |
|
145 text-decoration: none; |
|
146 color: #000; |
|
147 } |
|
148 #index td.name a:hover { |
|
149 text-decoration: underline; |
|
150 color: #000; |
|
151 } |
|
152 #index tr.total { |
|
153 font-weight: bold; |
|
154 } |
|
155 #index tr.total td { |
|
156 padding: .25em 0; |
|
157 border-top: 1px solid #ccc; |
|
158 border-bottom: none; |
|
159 } |