equal
deleted
inserted
replaced
237 .diffblocks { counter-reset: lineno; } |
237 .diffblocks { counter-reset: lineno; } |
238 .diffblocks > div { counter-increment: lineno; } |
238 .diffblocks > div { counter-increment: lineno; } |
239 |
239 |
240 .sourcelines > span { |
240 .sourcelines > span { |
241 display: inline-block; |
241 display: inline-block; |
|
242 box-sizing: border-box; |
242 width: 100%; |
243 width: 100%; |
243 padding: 1px 0px; |
244 padding: 1px 0px 1px 5em; |
244 counter-increment: lineno; |
245 counter-increment: lineno; |
245 } |
246 } |
246 |
247 |
247 .sourcelines > span:before { |
248 .sourcelines > span:before { |
248 -moz-user-select: -moz-none; |
249 -moz-user-select: -moz-none; |
249 -khtml-user-select: none; |
250 -khtml-user-select: none; |
250 -webkit-user-select: none; |
251 -webkit-user-select: none; |
251 -ms-user-select: none; |
252 -ms-user-select: none; |
252 user-select: none; |
253 user-select: none; |
253 display: inline-block; |
254 display: inline-block; |
|
255 margin-left: -5em; |
254 width: 4em; |
256 width: 4em; |
255 margin-right: 1em; |
|
256 font-size: smaller; |
257 font-size: smaller; |
257 color: #999; |
258 color: #999; |
258 text-align: right; |
259 text-align: right; |
259 content: counters(lineno, "."); |
260 content: counters(lineno, "."); |
260 float: left; |
261 float: left; |