1 /* CSS styles for Coverage. */ |
1 /* CSS styles for Coverage. */ |
2 /* Page-wide styles */ |
2 /* Page-wide styles */ |
3 html, body, h1, h2, h3, p, td, th { |
3 html, body, h1, h2, h3, p, td, th { |
4 margin: 0; |
4 margin: 0; |
5 padding: 0; |
5 padding: 0; |
6 border: 0; |
6 border: 0; |
7 outline: 0; |
7 outline: 0; |
8 font-weight: inherit; |
8 font-weight: inherit; |
9 font-style: inherit; |
9 font-style: inherit; |
10 font-size: 100%; |
10 font-size: 100%; |
11 font-family: inherit; |
11 font-family: inherit; |
12 vertical-align: baseline; |
12 vertical-align: baseline; |
13 } |
13 } |
14 |
14 |
15 /* Set baseline grid to 16 pt. */ |
15 /* Set baseline grid to 16 pt. */ |
16 body { |
16 body { |
17 font-family: georgia, serif; |
17 font-family: georgia, serif; |
82 padding: .1em .25em; |
87 padding: .1em .25em; |
83 margin: 0 .1em; |
88 margin: 0 .1em; |
84 cursor: pointer; |
89 cursor: pointer; |
85 border-color: #999 #ccc #ccc #999; |
90 border-color: #999 #ccc #ccc #999; |
86 } |
91 } |
87 .stats span.hide { |
92 .stats span.hide_run, .stats span.hide_exc, |
|
93 .stats span.hide_mis, .stats span.hide_par, |
|
94 .stats span.par.hide_run.hide_par { |
88 border-color: #ccc #999 #999 #ccc; |
95 border-color: #ccc #999 #999 #ccc; |
|
96 } |
|
97 .stats span.par.hide_run { |
|
98 border-color: #999 #ccc #ccc #999; |
89 } |
99 } |
90 |
100 |
91 /* Source file styles */ |
101 /* Source file styles */ |
92 .linenos p { |
102 .linenos p { |
93 text-align: right; |
103 text-align: right; |
94 margin: 0; |
104 margin: 0; |
95 padding: 0 .5em; |
105 padding: 0 .5em; |
96 color: #999999; |
106 color: #999999; |
97 font-family: verdana, sans-serif; |
107 font-family: verdana, sans-serif; |
98 font-size: .625em; /* 10/16 */ |
108 font-size: .625em; /* 10/16 */ |
99 line-height: 1.6em; /* 16/10 */ |
109 line-height: 1.6em; /* 16/10 */ |
100 } |
110 } |
101 td.text { |
111 td.text { |
102 width: 100%; |
112 width: 100%; |
103 } |
113 } |
110 |
120 |
111 .text p.mis { |
121 .text p.mis { |
112 background: #ffdddd; |
122 background: #ffdddd; |
113 border-left: 2px solid #ff0000; |
123 border-left: 2px solid #ff0000; |
114 } |
124 } |
115 .text p.run { |
125 .text p.run, .text p.run.hide_par { |
116 background: #ddffdd; |
126 background: #ddffdd; |
117 border-left: 2px solid #00ff00; |
127 border-left: 2px solid #00ff00; |
118 } |
128 } |
119 .text p.exc { |
129 .text p.exc { |
120 background: #eeeeee; |
130 background: #eeeeee; |
121 border-left: 2px solid #808080; |
131 border-left: 2px solid #808080; |
122 } |
132 } |
123 .text p.hide { |
133 .text p.par, .text p.par.hide_run { |
|
134 background: #ffffaa; |
|
135 border-left: 2px solid #eeee99; |
|
136 } |
|
137 .text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par, |
|
138 .text p.hide_run.hide_par { |
124 background: inherit; |
139 background: inherit; |
|
140 } |
|
141 |
|
142 .text span.annotate { |
|
143 font-family: georgia; |
|
144 font-style: italic; |
|
145 color: #666; |
|
146 float: right; |
|
147 padding-right: .5em; |
|
148 } |
|
149 .text p.hide_par span.annotate { |
|
150 display: none; |
|
151 } |
|
152 |
|
153 /* Syntax coloring */ |
|
154 .text .com { |
|
155 color: green; |
|
156 font-style: italic; |
|
157 line-height: 1px; |
|
158 } |
|
159 .text .key { |
|
160 font-weight: bold; |
|
161 line-height: 1px; |
|
162 } |
|
163 .text .str { |
|
164 color: #000080; |
125 } |
165 } |
126 |
166 |
127 /* index styles */ |
167 /* index styles */ |
128 #index td, #index th { |
168 #index td, #index th { |
129 text-align: right; |
169 text-align: right; |
130 width: 6em; |
170 width: 5em; |
131 padding: .25em 0; |
171 padding: .25em .5em; |
132 border-bottom: 1px solid #eee; |
172 border-bottom: 1px solid #eee; |
133 } |
173 } |
134 #index th { |
174 #index th { |
135 font-style: italic; |
175 font-style: italic; |
136 color: #333; |
176 color: #333; |
137 border-bottom: 1px solid #ccc; |
177 border-bottom: 1px solid #ccc; |
|
178 cursor: pointer; |
|
179 } |
|
180 #index th:hover { |
|
181 background: #eee; |
|
182 border-bottom: 1px solid #999; |
|
183 } |
|
184 #index td.left, #index th.left { |
|
185 padding-left: 0; |
|
186 } |
|
187 #index td.right, #index th.right { |
|
188 padding-right: 0; |
|
189 } |
|
190 #index th.headerSortDown, #index th.headerSortUp { |
|
191 border-bottom: 1px solid #000; |
138 } |
192 } |
139 #index td.name, #index th.name { |
193 #index td.name, #index th.name { |
140 text-align: left; |
194 text-align: left; |
141 width: auto; |
195 width: auto; |
142 height: 1.5em; |
|
143 } |
196 } |
144 #index td.name a { |
197 #index td.name a { |
145 text-decoration: none; |
198 text-decoration: none; |
146 color: #000; |
199 color: #000; |
147 } |
200 } |
148 #index td.name a:hover { |
201 #index td.name a:hover { |
149 text-decoration: underline; |
202 text-decoration: underline; |
150 color: #000; |
203 color: #000; |
151 } |
204 } |
152 #index tr.total { |
205 #index tr.total { |
|
206 } |
|
207 #index tr.total td { |
153 font-weight: bold; |
208 font-weight: bold; |
154 } |
|
155 #index tr.total td { |
|
156 padding: .25em 0; |
|
157 border-top: 1px solid #ccc; |
209 border-top: 1px solid #ccc; |
158 border-bottom: none; |
210 border-bottom: none; |
159 } |
211 } |
|
212 #index tr.file:hover { |
|
213 background: #eeeeee; |
|
214 } |