|
1 @charset "UTF-8"; |
|
2 /* Licensed under the Apache License: http://www.apache.org/licenses/LICENSE-2.0 */ |
|
3 /* For details: https://github.com/nedbat/coveragepy/blob/master/NOTICE.txt */ |
|
4 /* Don't edit this .css file. Edit the .scss file instead! */ |
|
5 html, body, h1, h2, h3, p, table, td, th { margin: 0; padding: 0; border: 0; font-weight: inherit; font-style: inherit; font-size: 100%; font-family: inherit; vertical-align: baseline; } |
|
6 |
|
7 body { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 1em; background: #fff; color: #000; } |
|
8 |
|
9 @media (prefers-color-scheme: dark) { body { background: #1e1e1e; } } |
|
10 |
|
11 @media (prefers-color-scheme: dark) { body { color: #eee; } } |
|
12 |
|
13 html > body { font-size: 16px; } |
|
14 |
|
15 a:active, a:focus { outline: 2px dashed #007acc; } |
|
16 |
|
17 p { font-size: .875em; line-height: 1.4em; } |
|
18 |
|
19 table { border-collapse: collapse; } |
|
20 |
|
21 td { vertical-align: top; } |
|
22 |
|
23 table tr.hidden { display: none !important; } |
|
24 |
|
25 p#no_rows { display: none; font-size: 1.2em; } |
|
26 |
|
27 a.nav { text-decoration: none; color: inherit; } |
|
28 |
|
29 a.nav:hover { text-decoration: underline; color: inherit; } |
|
30 |
|
31 header { background: #f8f8f8; width: 100%; z-index: 2; border-bottom: 1px solid #ccc; } |
|
32 |
|
33 @media (prefers-color-scheme: dark) { header { background: black; } } |
|
34 |
|
35 @media (prefers-color-scheme: dark) { header { border-color: #333; } } |
|
36 |
|
37 header .content { padding: 1rem 3.5rem; } |
|
38 |
|
39 header h2 { margin-top: .5em; font-size: 1em; } |
|
40 |
|
41 header.sticky { position: fixed; left: 0; right: 0; height: 2.5em; } |
|
42 |
|
43 header.sticky .text { display: none; } |
|
44 |
|
45 header.sticky h1, header.sticky h2 { font-size: 1em; margin-top: 0; display: inline-block; } |
|
46 |
|
47 header.sticky .content { padding: 0.5rem 3.5rem; } |
|
48 |
|
49 header.sticky .content p { font-size: 1em; } |
|
50 |
|
51 header.sticky ~ #source { padding-top: 6.5em; } |
|
52 |
|
53 main { position: relative; z-index: 1; } |
|
54 |
|
55 .indexfile footer { margin: 1rem 3.5rem; } |
|
56 |
|
57 .pyfile footer { margin: 1rem 1rem; } |
|
58 |
|
59 footer .content { padding: 0; color: #666; font-style: italic; } |
|
60 |
|
61 @media (prefers-color-scheme: dark) { footer .content { color: #aaa; } } |
|
62 |
|
63 #index { margin: 1rem 0 0 3.5rem; } |
|
64 |
|
65 h1 { font-size: 1.25em; display: inline-block; } |
|
66 |
|
67 #filter_container { float: right; margin: 0 2em 0 0; } |
|
68 |
|
69 #filter_container input { width: 10em; padding: 0.2em 0.5em; border: 2px solid #ccc; background: #fff; color: #000; } |
|
70 |
|
71 @media (prefers-color-scheme: dark) { #filter_container input { border-color: #444; } } |
|
72 |
|
73 @media (prefers-color-scheme: dark) { #filter_container input { background: #1e1e1e; } } |
|
74 |
|
75 @media (prefers-color-scheme: dark) { #filter_container input { color: #eee; } } |
|
76 |
|
77 #filter_container input:focus { border-color: #007acc; } |
|
78 |
|
79 header button { font-family: inherit; font-size: inherit; border: 1px solid; border-radius: .2em; color: inherit; padding: .1em .5em; margin: 1px calc(.1em + 1px); cursor: pointer; border-color: #ccc; } |
|
80 |
|
81 @media (prefers-color-scheme: dark) { header button { border-color: #444; } } |
|
82 |
|
83 header button:active, header button:focus { outline: 2px dashed #007acc; } |
|
84 |
|
85 header button.run { background: #eeffee; } |
|
86 |
|
87 @media (prefers-color-scheme: dark) { header button.run { background: #373d29; } } |
|
88 |
|
89 header button.run.show_run { background: #dfd; border: 2px solid #00dd00; margin: 0 .1em; } |
|
90 |
|
91 @media (prefers-color-scheme: dark) { header button.run.show_run { background: #373d29; } } |
|
92 |
|
93 header button.mis { background: #ffeeee; } |
|
94 |
|
95 @media (prefers-color-scheme: dark) { header button.mis { background: #4b1818; } } |
|
96 |
|
97 header button.mis.show_mis { background: #fdd; border: 2px solid #ff0000; margin: 0 .1em; } |
|
98 |
|
99 @media (prefers-color-scheme: dark) { header button.mis.show_mis { background: #4b1818; } } |
|
100 |
|
101 header button.exc { background: #f7f7f7; } |
|
102 |
|
103 @media (prefers-color-scheme: dark) { header button.exc { background: #333; } } |
|
104 |
|
105 header button.exc.show_exc { background: #eee; border: 2px solid #808080; margin: 0 .1em; } |
|
106 |
|
107 @media (prefers-color-scheme: dark) { header button.exc.show_exc { background: #333; } } |
|
108 |
|
109 header button.par { background: #ffffd5; } |
|
110 |
|
111 @media (prefers-color-scheme: dark) { header button.par { background: #650; } } |
|
112 |
|
113 header button.par.show_par { background: #ffa; border: 2px solid #bbbb00; margin: 0 .1em; } |
|
114 |
|
115 @media (prefers-color-scheme: dark) { header button.par.show_par { background: #650; } } |
|
116 |
|
117 #help_panel, #source p .annotate.long { display: none; position: absolute; z-index: 999; background: #ffffcc; border: 1px solid #888; border-radius: .2em; color: #333; padding: .25em .5em; } |
|
118 |
|
119 #source p .annotate.long { white-space: normal; float: right; top: 1.75em; right: 1em; height: auto; } |
|
120 |
|
121 #help_panel_wrapper { float: right; position: relative; } |
|
122 |
|
123 #keyboard_icon { margin: 5px; } |
|
124 |
|
125 #help_panel_state { display: none; } |
|
126 |
|
127 #help_panel { top: 25px; right: 0; padding: .75em; border: 1px solid #883; } |
|
128 |
|
129 #help_panel .legend { font-style: italic; margin-bottom: 1em; } |
|
130 |
|
131 .indexfile #help_panel { width: 25em; } |
|
132 |
|
133 .pyfile #help_panel { width: 18em; } |
|
134 |
|
135 #help_panel_state:checked ~ #help_panel { display: block; } |
|
136 |
|
137 .keyhelp { margin-top: .75em; } |
|
138 |
|
139 kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em .35em; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-weight: bold; background: #eee; border-radius: 3px; } |
|
140 |
|
141 #source { padding: 1em 0 1em 3.5rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; } |
|
142 |
|
143 #source p { position: relative; white-space: pre; } |
|
144 |
|
145 #source p * { box-sizing: border-box; } |
|
146 |
|
147 #source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; } |
|
148 |
|
149 @media (prefers-color-scheme: dark) { #source p .n { color: #777; } } |
|
150 |
|
151 #source p .n.highlight { background: #ffdd00; } |
|
152 |
|
153 #source p .n a { margin-top: -4em; padding-top: 4em; text-decoration: none; color: #999; } |
|
154 |
|
155 @media (prefers-color-scheme: dark) { #source p .n a { color: #777; } } |
|
156 |
|
157 #source p .n a:hover { text-decoration: underline; color: #999; } |
|
158 |
|
159 @media (prefers-color-scheme: dark) { #source p .n a:hover { color: #777; } } |
|
160 |
|
161 #source p .t { display: inline-block; width: 100%; box-sizing: border-box; margin-left: -.5em; padding-left: 0.3em; border-left: 0.2em solid #fff; } |
|
162 |
|
163 @media (prefers-color-scheme: dark) { #source p .t { border-color: #1e1e1e; } } |
|
164 |
|
165 #source p .t:hover { background: #f2f2f2; } |
|
166 |
|
167 @media (prefers-color-scheme: dark) { #source p .t:hover { background: #282828; } } |
|
168 |
|
169 #source p .t:hover ~ .r .annotate.long { display: block; } |
|
170 |
|
171 #source p .t .com { color: #008000; font-style: italic; line-height: 1px; } |
|
172 |
|
173 @media (prefers-color-scheme: dark) { #source p .t .com { color: #6a9955; } } |
|
174 |
|
175 #source p .t .key { font-weight: bold; line-height: 1px; } |
|
176 |
|
177 #source p .t .str { color: #0451a5; } |
|
178 |
|
179 @media (prefers-color-scheme: dark) { #source p .t .str { color: #9cdcfe; } } |
|
180 |
|
181 #source p.mis .t { border-left: 0.2em solid #ff0000; } |
|
182 |
|
183 #source p.mis.show_mis .t { background: #fdd; } |
|
184 |
|
185 @media (prefers-color-scheme: dark) { #source p.mis.show_mis .t { background: #4b1818; } } |
|
186 |
|
187 #source p.mis.show_mis .t:hover { background: #f2d2d2; } |
|
188 |
|
189 @media (prefers-color-scheme: dark) { #source p.mis.show_mis .t:hover { background: #532323; } } |
|
190 |
|
191 #source p.run .t { border-left: 0.2em solid #00dd00; } |
|
192 |
|
193 #source p.run.show_run .t { background: #dfd; } |
|
194 |
|
195 @media (prefers-color-scheme: dark) { #source p.run.show_run .t { background: #373d29; } } |
|
196 |
|
197 #source p.run.show_run .t:hover { background: #d2f2d2; } |
|
198 |
|
199 @media (prefers-color-scheme: dark) { #source p.run.show_run .t:hover { background: #404633; } } |
|
200 |
|
201 #source p.exc .t { border-left: 0.2em solid #808080; } |
|
202 |
|
203 #source p.exc.show_exc .t { background: #eee; } |
|
204 |
|
205 @media (prefers-color-scheme: dark) { #source p.exc.show_exc .t { background: #333; } } |
|
206 |
|
207 #source p.exc.show_exc .t:hover { background: #e2e2e2; } |
|
208 |
|
209 @media (prefers-color-scheme: dark) { #source p.exc.show_exc .t:hover { background: #3c3c3c; } } |
|
210 |
|
211 #source p.par .t { border-left: 0.2em solid #bbbb00; } |
|
212 |
|
213 #source p.par.show_par .t { background: #ffa; } |
|
214 |
|
215 @media (prefers-color-scheme: dark) { #source p.par.show_par .t { background: #650; } } |
|
216 |
|
217 #source p.par.show_par .t:hover { background: #f2f2a2; } |
|
218 |
|
219 @media (prefers-color-scheme: dark) { #source p.par.show_par .t:hover { background: #6d5d0c; } } |
|
220 |
|
221 #source p .r { position: absolute; top: 0; right: 2.5em; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; } |
|
222 |
|
223 #source p .annotate { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; color: #666; padding-right: .5em; } |
|
224 |
|
225 @media (prefers-color-scheme: dark) { #source p .annotate { color: #ddd; } } |
|
226 |
|
227 #source p .annotate.short:hover ~ .long { display: block; } |
|
228 |
|
229 #source p .annotate.long { width: 30em; right: 2.5em; } |
|
230 |
|
231 #source p input { display: none; } |
|
232 |
|
233 #source p input ~ .r label.ctx { cursor: pointer; border-radius: .25em; } |
|
234 |
|
235 #source p input ~ .r label.ctx::before { content: "▶ "; } |
|
236 |
|
237 #source p input ~ .r label.ctx:hover { background: #e8f4ff; color: #666; } |
|
238 |
|
239 @media (prefers-color-scheme: dark) { #source p input ~ .r label.ctx:hover { background: #0f3a42; } } |
|
240 |
|
241 @media (prefers-color-scheme: dark) { #source p input ~ .r label.ctx:hover { color: #aaa; } } |
|
242 |
|
243 #source p input:checked ~ .r label.ctx { background: #d0e8ff; color: #666; border-radius: .75em .75em 0 0; padding: 0 .5em; margin: -.25em 0; } |
|
244 |
|
245 @media (prefers-color-scheme: dark) { #source p input:checked ~ .r label.ctx { background: #056; } } |
|
246 |
|
247 @media (prefers-color-scheme: dark) { #source p input:checked ~ .r label.ctx { color: #aaa; } } |
|
248 |
|
249 #source p input:checked ~ .r label.ctx::before { content: "▼ "; } |
|
250 |
|
251 #source p input:checked ~ .ctxs { padding: .25em .5em; overflow-y: scroll; max-height: 10.5em; } |
|
252 |
|
253 #source p label.ctx { color: #999; display: inline-block; padding: 0 .5em; font-size: .8333em; } |
|
254 |
|
255 @media (prefers-color-scheme: dark) { #source p label.ctx { color: #777; } } |
|
256 |
|
257 #source p .ctxs { display: block; max-height: 0; overflow-y: hidden; transition: all .2s; padding: 0 .5em; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; white-space: nowrap; background: #d0e8ff; border-radius: .25em; margin-right: 1.75em; } |
|
258 |
|
259 @media (prefers-color-scheme: dark) { #source p .ctxs { background: #056; } } |
|
260 |
|
261 #source p .ctxs span { display: block; text-align: right; } |
|
262 |
|
263 #index { font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-size: 0.875em; } |
|
264 |
|
265 #index table.index { margin-left: -.5em; } |
|
266 |
|
267 #index td, #index th { text-align: right; width: 5em; padding: .25em .5em; border-bottom: 1px solid #eee; } |
|
268 |
|
269 @media (prefers-color-scheme: dark) { #index td, #index th { border-color: #333; } } |
|
270 |
|
271 #index td.name, #index th.name { text-align: left; width: auto; } |
|
272 |
|
273 #index th { font-style: italic; color: #333; cursor: pointer; } |
|
274 |
|
275 @media (prefers-color-scheme: dark) { #index th { color: #ddd; } } |
|
276 |
|
277 #index th:hover { background: #eee; } |
|
278 |
|
279 @media (prefers-color-scheme: dark) { #index th:hover { background: #333; } } |
|
280 |
|
281 #index th[aria-sort="ascending"], #index th[aria-sort="descending"] { white-space: nowrap; background: #eee; padding-left: .5em; } |
|
282 |
|
283 @media (prefers-color-scheme: dark) { #index th[aria-sort="ascending"], #index th[aria-sort="descending"] { background: #333; } } |
|
284 |
|
285 #index th[aria-sort="ascending"]::after { font-family: sans-serif; content: " ↑"; } |
|
286 |
|
287 #index th[aria-sort="descending"]::after { font-family: sans-serif; content: " ↓"; } |
|
288 |
|
289 #index td.name a { text-decoration: none; color: inherit; } |
|
290 |
|
291 #index tr.total td, #index tr.total_dynamic td { font-weight: bold; border-top: 1px solid #ccc; border-bottom: none; } |
|
292 |
|
293 #index tr.file:hover { background: #eee; } |
|
294 |
|
295 @media (prefers-color-scheme: dark) { #index tr.file:hover { background: #333; } } |
|
296 |
|
297 #index tr.file:hover td.name { text-decoration: underline; color: inherit; } |
|
298 |
|
299 #scroll_marker { position: fixed; z-index: 3; right: 0; top: 0; width: 16px; height: 100%; background: #fff; border-left: 1px solid #eee; will-change: transform; } |
|
300 |
|
301 @media (prefers-color-scheme: dark) { #scroll_marker { background: #1e1e1e; } } |
|
302 |
|
303 @media (prefers-color-scheme: dark) { #scroll_marker { border-color: #333; } } |
|
304 |
|
305 #scroll_marker .marker { background: #ccc; position: absolute; min-height: 3px; width: 100%; } |
|
306 |
|
307 @media (prefers-color-scheme: dark) { #scroll_marker .marker { background: #444; } } |