equal
deleted
inserted
replaced
304 font-size: smaller; |
304 font-size: smaller; |
305 color: #999; |
305 color: #999; |
306 text-align: right; |
306 text-align: right; |
307 content: counters(lineno, "."); |
307 content: counters(lineno, "."); |
308 float: left; |
308 float: left; |
|
309 } |
|
310 |
|
311 .sourcelines > span:after { |
|
312 content: ''; |
|
313 display: inline-block; |
309 } |
314 } |
310 |
315 |
311 .sourcelines > span:target, tr:target td { |
316 .sourcelines > span:target, tr:target td { |
312 background-color: #bfdfff; |
317 background-color: #bfdfff; |
313 } |
318 } |