6
6
// When you edit this file, you need to run "make css" to get the CSS file
7
7
// generated, and then check in both the .scss and the .css files.
8
8
9
+ // When working on the file, this command is useful:
10
+ // sass --watch --style=compact --sourcemap=none --no-cache coverage/htmlfiles/style.scss:htmlcov/style.css
11
+
9
12
// Ignore this comment, it's for the CSS output file:
10
13
/* Don't edit this .css file. Edit the .scss file instead! */
11
14
15
+ // Dimensions
16
+ $left-gutter : 3rem ;
17
+
12
18
// Page-wide styles
13
19
html , body , h1 , h2 , h3 , p , table , td , th {
14
20
margin : 0 ;
15
21
padding : 0 ;
16
22
border : 0 ;
17
- outline : 0 ;
18
23
font-weight : inherit ;
19
24
font-style : inherit ;
20
25
font-size : 100% ;
@@ -70,11 +75,6 @@ a.nav {
70
75
border-bottom : 1px solid #eee ;
71
76
}
72
77
73
- #source {
74
- padding : 1em ;
75
- font-family : Consolas, " Liberation Mono" , Menlo, Courier , monospace ;
76
- }
77
-
78
78
.indexfile #footer {
79
79
margin : 1em 3em ;
80
80
}
@@ -97,7 +97,7 @@ a.nav {
97
97
98
98
/* Header styles */
99
99
#header .content {
100
- padding : 1em 3 em ;
100
+ padding : 1em $left-gutter ;
101
101
}
102
102
103
103
h1 {
@@ -235,131 +235,162 @@ h2.stats {
235
235
}
236
236
237
237
// Source file styles
238
- .linenos p {
239
- text-align : right ;
240
- margin : 0 ;
241
- padding : 0 .5em ;
242
- color : #999999 ;
243
- font-family : verdana , sans-serif ;
244
-
245
- & .highlight {
246
- background : #ffdd00 ;
247
- }
248
- a {
249
- text-decoration : none ;
250
- color : #999999 ;
251
- font-size : .8333em ; // 10/12
252
- line-height : 1em ;
253
- & :hover {
254
- text-decoration : underline ;
255
- color : #999999 ;
256
- }
257
- }
258
- }
259
-
260
- td .text {
261
- width : 100% ;
262
- }
263
238
264
239
$hover-dark-amt : 95% ;
265
240
$pln-hover-color : mix ($pln-color , #000 , $hover-dark-amt );
266
241
$mis-hover-color : mix ($mis-color , #000 , $hover-dark-amt );
267
242
$run-hover-color : mix ($run-color , #000 , $hover-dark-amt );
268
243
$exc-hover-color : mix ($exc-color , #000 , $hover-dark-amt );
269
244
$par-hover-color : mix ($par-color , #000 , $hover-dark-amt );
245
+ $border-indicator-width : .2em ;
270
246
271
- .text p {
272
- margin : 0 ;
273
- padding : 0 0 0 .5em ;
274
- border-left : 2px solid #ffffff ;
275
- white-space : pre ;
276
- position : relative ;
247
+ #source {
248
+ padding : 1em 0 1em $left-gutter ;
249
+ font-family : Consolas, " Liberation Mono" , Menlo, Courier , monospace ;
277
250
278
- & :hover {
279
- background : $pln-hover-color ;
280
- }
251
+ p {
252
+ /* position relative makes position:absolute pop-ups appear in the right place. */
253
+ position : relative ;
254
+ white-space : pre ;
255
+
256
+ .n {
257
+ float : left ;
258
+ text-align : right ;
259
+ width : $left-gutter ;
260
+ box-sizing : border-box ;
261
+ margin-left : - $left-gutter ;
262
+ padding-right : 1em ;
263
+ color : #999999 ;
264
+ font-family : verdana , sans-serif ;
265
+
266
+ a {
267
+ text-decoration : none ;
268
+ color : #999999 ;
269
+ font-size : .8333em ; // 10/12
270
+ line-height : 1em ;
271
+ & :hover {
272
+ text-decoration : underline ;
273
+ color : #999999 ;
274
+ }
275
+ }
276
+ }
281
277
282
- & .run {
283
- border-left : 2px solid #00ff00 ;
284
- & .show_run {
285
- background : $run-color ;
278
+ & .highlight .n {
279
+ background : #ffdd00 ;
280
+ }
281
+
282
+ .t {
283
+ display : inline-block ;
284
+ width : 100% ;
285
+ box-sizing : border-box ;
286
+ margin-left : -.5em ;
287
+ padding-left : .5em - $border-indicator-width ;
288
+ border-left : $border-indicator-width solid white ;
286
289
287
290
& :hover {
288
- background : $run-hover-color ;
291
+ background : $pln-hover-color ;
292
+ }
293
+ // Syntax coloring
294
+ .com {
295
+ color : green ;
296
+ font-style : italic ;
297
+ line-height : 1px ;
298
+ }
299
+ .key {
300
+ font-weight : bold ;
301
+ line-height : 1px ;
302
+ }
303
+ .str {
304
+ color : #000080 ;
289
305
}
290
306
}
291
- }
292
307
293
- & .mis {
294
- border-left : 2 px solid #ff0000 ;
295
- & .show_mis {
296
- background : $mis-color ;
308
+ & .mis {
309
+ .t {
310
+ border-left : $border-indicator-width solid #ff0000 ;
311
+ }
297
312
298
- & :hover {
299
- background : $mis-hover-color ;
313
+ & .show_mis .t {
314
+ background : $mis-color ;
315
+
316
+ & :hover {
317
+ background : $mis-hover-color ;
318
+ }
300
319
}
301
320
}
302
- }
303
321
304
- & .exc {
305
- border-left : 2 px solid #808080 ;
306
- & .show_exc {
307
- background : $exc-color ;
322
+ & .run {
323
+ .t {
324
+ border-left : $border-indicator-width solid #00ff00 ;
325
+ }
308
326
309
- & :hover {
310
- background : $exc-hover-color ;
327
+ & .show_run .t {
328
+ background : $run-color ;
329
+
330
+ & :hover {
331
+ background : $run-hover-color ;
332
+ }
311
333
}
312
334
}
313
- }
314
335
315
- & .par {
316
- border-left : 2 px solid #eeee99 ;
317
- & .show_par {
318
- background : $par-color ;
336
+ & .exc {
337
+ .t {
338
+ border-left : $border-indicator-width solid #808080 ;
339
+ }
319
340
320
- & :hover {
321
- background : $par-hover-color ;
341
+ & .show_exc .t {
342
+ background : $exc-color ;
343
+
344
+ & :hover {
345
+ background : $exc-hover-color ;
346
+ }
322
347
}
323
348
}
324
- }
325
- }
326
349
350
+ & .par {
351
+ .t {
352
+ border-left : $border-indicator-width solid #eeee99 ;
353
+ }
327
354
328
- .text {
329
- span .annotate {
330
- font-family : georgia ;
331
- color : #666 ;
332
- float : right ;
333
- padding-right : .5em ;
334
- display : none ;
335
- }
336
- p .show_par span .annotate {
337
- display : inline ;
338
- }
339
- p .show_par span .annotate.long {
340
- @extend %in-text-popup ;
341
- max-width : 50% ;
342
- width : 30em ;
343
- }
344
- p .show_par :hover span .annotate.long {
345
- display : block ;
346
- }
355
+ & .show_par .t {
356
+ background : $par-color ;
347
357
348
- // Syntax coloring
349
- .com {
350
- color : green ;
351
- font-style : italic ;
352
- line-height : 1px ;
353
- }
354
- .key {
355
- font-weight : bold ;
356
- line-height : 1px ;
357
- }
358
- .str {
359
- color : #000080 ;
358
+ & :hover {
359
+ background : $par-hover-color ;
360
+ }
361
+ }
362
+
363
+ span .annotate {
364
+ & .short {
365
+ display : inline ;
366
+ position : absolute ;
367
+ right : 1.5em ;
368
+ }
369
+
370
+ & .long {
371
+ @extend %in-text-popup ;
372
+ max-width : 50% ;
373
+ width : 30em ;
374
+ right : 2.5em ;
375
+ }
376
+ }
377
+
378
+ & :hover span .annotate.long {
379
+ display : block ;
380
+ }
381
+ }
382
+
383
+
384
+ span .annotate {
385
+ font-family : georgia ;
386
+ color : #666 ;
387
+ float : right ;
388
+ padding-right : .5em ;
389
+ }
360
390
}
361
391
}
362
392
393
+
363
394
// Line contexts
364
395
td .contexts {
365
396
p {
0 commit comments