##// END OF EJS Templates
monoblue: make the size of line links bigger to cover line numbers better...
av6 -
r26667:721274ce default
parent child Browse files
Show More
@@ -262,13 +262,16 span.difflineplus { color:#008800; }
262 262 span.difflineminus { color:#cc0000; }
263 263 span.difflineat { color:#990099; }
264 264
265 pre.sourcelines { position: relative; counter-reset: lineno; }
265 pre.sourcelines {
266 position: relative;
267 counter-reset: lineno;
268 font-size: 1.2em;
269 }
266 270 pre.sourcelines > span {
267 271 display: inline-block;
268 272 box-sizing: border-box;
269 273 width: 100%;
270 274 padding: 0 0 0 5em;
271 font-size: 1.2em;
272 275 counter-increment: lineno;
273 276 vertical-align: top;
274 277 }
@@ -295,6 +298,7 pre.sourcelines > a {
295 298 left: 0px;
296 299 width: 4em;
297 300 height: 1em;
301 padding: 0.15em;
298 302 }
299 303 pre.sourcelines.stripes > :nth-child(4n+1) { background-color: #F1F6F7; }
300 304 pre.sourcelines.stripes > :nth-child(4n+3) { background-color: #FFFFFF; }
General Comments 0
You need to be logged in to leave comments. Login now