64
64
left : 0px ;
65
65
width : 100% ;
66
66
height : 100% ;
67
- z-index : 990 ;
67
+ z-index : 900 ;
68
68
display : none;
69
69
}
70
70
# overlay {
@@ -84,15 +84,25 @@ code {
84
84
z-index : 1000 ;
85
85
overscroll-behavior : contain;
86
86
}
87
+ # overlaytop {
88
+ position : sticky;
89
+ top : 0 ;
90
+ background-color : var (--bg0 );
91
+ border-bottom : 1px solid var (--test0 );
92
+ padding : 18px 25px ;
93
+ z-index : 1000 ;
94
+ }
95
+ # overlaycontent {
96
+ position : absolute;
97
+ margin : 15px 25px 10px ;
98
+ padding-bottom : 15px ;
99
+ }
87
100
# overlaybuttons {
88
- position : fixed;
89
101
float : right;
90
- right : 25px ;
91
102
width : fit-content;
92
103
text-align : right;
93
104
}
94
105
95
-
96
106
div .pad {
97
107
padding : 0px 25px 15px /* top left+right bottom */
98
108
}
@@ -112,7 +122,7 @@ a.return {color: var(--link); text-decoration: none; font-size: 14px; line-heig
112
122
.bad {color : var (--testbad );}
113
123
.faint {color : var (--test99 );}
114
124
.hidden {display : none;}
115
- .health {font-size : 10px ;}
125
+ .health , . healthsilent {font-size : 10px ;}
116
126
.offscreen {
117
127
position : absolute !important ;
118
128
top : -2000% !important ;
@@ -161,14 +171,13 @@ a.return {color: var(--link); text-decoration: none; font-size: 14px; line-heig
161
171
}
162
172
163
173
/* show/hide */
164
- .togC , .togF , .togL , .togLO , .togTO , .togOS , .togUA1 , .togUA2 , .togZ {display : none;}
174
+ .togC , .togF , .togL , .togLO , .togT , . togTM , . togTO , .togOS , .togUA1 , .togUA2 , .togZ {display : none;}
165
175
166
176
/* run/re-run, click here */
167
177
.btn {background-color : var (--bg0 );
168
178
display : inline-block;
169
179
font-size : 12px ;
170
180
font-family : monospace, "Courier New" ;
171
- /*font-weight: bold;*/ /* bold looks out of place on macs */
172
181
padding-left : 6px ;
173
182
padding-right : 6px ;
174
183
cursor : pointer;
@@ -183,7 +192,6 @@ a.return {color: var(--link); text-decoration: none; font-size: 14px; line-heig
183
192
}
184
193
/* section metrics/counts: underline, padded, bold */
185
194
.btns {
186
- font-weight : bold;
187
195
text-decoration : underline;
188
196
padding-left : 8px ;
189
197
padding-right : 8px ;
@@ -208,7 +216,7 @@ a.return {color: var(--link); text-decoration: none; font-size: 14px; line-heig
208
216
.btn16 , .s16 {border-color : var (--test16 ); color : var (--test16 );}
209
217
.btn17 , .s17 {border-color : var (--test17 ); color : var (--test17 );}
210
218
.btn18 , .s18 {border-color : var (--test18 ); color : var (--test18 );}
211
- .s99 {color : var (--test99 );}
219
+ .btn99 , . s99 {border-color : var ( --test99 ); color : var (--test99 );}
212
220
.btngood , .sgood {border-color : var (--test7 ); color : var (--test7 );}
213
221
.btnbad , .sbad {border-color : var (--testbad ); color : var (--testbad );}
214
222
.btn-left {float : left; position : relative; left : -15px ; top : 0px ;}
@@ -232,7 +240,7 @@ a.return {color: var(--link); text-decoration: none; font-size: 14px; line-heig
232
240
border-style : solid; border-color : transparent var (--test0 ) transparent transparent;}
233
241
234
242
/* table nav */
235
- div .nav-title {position : relative;}
243
+ div .nav-title {position : relative; font-weight : bold; }
236
244
div .nav-down {position : absolute; right : 5px ; top : 0px ; width : 250px ; text-align : right;}
237
245
div .nav-up {position : absolute; left : 5px ; top : 0px ; width : 250px ; text-align : left;}
238
246
div .nav-right {position : absolute; right : 5px ; top : -2px ; width : 0px ;}
@@ -251,7 +259,7 @@ th {color: black; font-size: 14px; padding: 3px 0;}
251
259
table td : first-child { text-align : right; vertical-align : top;}
252
260
table td .blurb {text-align : center; line-height : 1.5em ;}
253
261
table td .center {text-align : center;}
254
- table td .intro {text-align : left; line-height : 1.5em ; padding-bottom : 10px ;}
262
+ table td .intro {text-align : left; line-height : 1.5em ; padding-bottom : 10px ; padding-left : 0 px ; }
255
263
table td .secthash {
256
264
text-align : left;
257
265
vertical-align : top;
@@ -266,6 +274,10 @@ tr td.border-bottom {
266
274
border-bottom-style : dashed;
267
275
}
268
276
277
+ div .scroll {width : 100px ; overflow-y : scroll;}
278
+ div .scrollauto {scrollbar-width : auto;}
279
+ div .scrollthin {scrollbar-width : thin;}
280
+
269
281
# tb1 th {background-color : var (--bg1 );}
270
282
# tb2 th {background-color : var (--bg2 );}
271
283
# tb3 th {background-color : var (--bg3 );}
@@ -287,6 +299,7 @@ tr td.border-bottom {
287
299
# tb99 th {background-color : var (--bg99 );}
288
300
# tbfp th {background-color : var (--bg99 );}
289
301
# tbperf th {background-color : var (--bg99 );}
302
+ # tbblock th {background-color : var (--bg99 );}
290
303
291
304
# tb1 td : first-child {color : var (--test1 );}
292
305
# tb2 td : first-child {color : var (--test2 );}
@@ -295,6 +308,7 @@ tr td.border-bottom {
295
308
# tb3 td : first-child {color : var (--test3 );}
296
309
# tb4 td : first-child {color : var (--test4 );}
297
310
# tb4 .togLO td : first-child {color : var (--test99 );}
311
+ # tb4 .togTM td : first-child {color : var (--test99 );}
298
312
# tb4 .togTO td : first-child {color : var (--test99 );}
299
313
# tb5 td : first-child {color : var (--test5 );}
300
314
# tb6 td : first-child {color : var (--test6 );}
@@ -311,12 +325,13 @@ tr td.border-bottom {
311
325
# tb15 td : first-child {color : var (--test15 );}
312
326
# tb16 td : first-child {color : var (--test16 );}
313
327
# tb17 td : first-child {color : var (--test17 );}
328
+ # tb17 .togT td : first-child {color : var (--test99 );}
314
329
# tb18 td : first-child {color : var (--test18 );}
315
330
# tb99 td : first-child {color : var (--test99 );}
316
331
# tbfp td : first-child {color : var (--test99 );}
317
332
# tbperf td : first-child {color : var (--test99 );}
318
333
319
- # lh-fingerprint , # mathml-fingerprint {
334
+ # lh-fp , # mathml-fp {
320
335
position : fixed;
321
336
top : 0 ;
322
337
left : 0 ;
0 commit comments