Projekt

Obecné

Profil

Stáhnout (12 KB) Statistiky
| Větev: | Tag: | Revize:
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; } }
(28-28/28)