##// 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 b' span.difflineplus { color:#008800; }'
262 span.difflineminus { color:#cc0000; }
262 span.difflineminus { color:#cc0000; }
263 span.difflineat { color:#990099; }
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 pre.sourcelines > span {
270 pre.sourcelines > span {
267 display: inline-block;
271 display: inline-block;
268 box-sizing: border-box;
272 box-sizing: border-box;
269 width: 100%;
273 width: 100%;
270 padding: 0 0 0 5em;
274 padding: 0 0 0 5em;
271 font-size: 1.2em;
272 counter-increment: lineno;
275 counter-increment: lineno;
273 vertical-align: top;
276 vertical-align: top;
274 }
277 }
@@ -295,6 +298,7 b' pre.sourcelines > a {'
295 left: 0px;
298 left: 0px;
296 width: 4em;
299 width: 4em;
297 height: 1em;
300 height: 1em;
301 padding: 0.15em;
298 }
302 }
299 pre.sourcelines.stripes > :nth-child(4n+1) { background-color: #F1F6F7; }
303 pre.sourcelines.stripes > :nth-child(4n+1) { background-color: #F1F6F7; }
300 pre.sourcelines.stripes > :nth-child(4n+3) { background-color: #FFFFFF; }
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