| 1 |
body { |
| 2 |
margin-top:13px; |
| 3 |
_margin-top:14px; |
| 4 |
background:white; |
| 5 |
margin-left:32px; |
| 6 |
font-family:monospace; |
| 7 |
font-size:13px; |
| 8 |
white-space:pre; |
| 9 |
background-image:url("images/line-numbers.png"); |
| 10 |
background-repeat:repeat-y; |
| 11 |
background-position:0 3px; |
| 12 |
line-height:16px; |
| 13 |
height:100%; |
| 14 |
} |
| 15 |
pre {margin:0;} |
| 16 |
html>body{background-position:0 2px;} |
| 17 |
P {margin:0;padding:0;border:0;outline:0;display:block;white-space:pre;} |
| 18 |
b, i, s, u, a, em, tt, ins, big, cite, strong, var, dfn {text-decoration:none;font-weight:normal;font-style:normal;font-size:13px;} |
| 19 |
|
| 20 |
body.hide-line-numbers {background:white;margin-left:16px;} |
| 21 |
body.show-line-numbers {background-image:url("images/line-numbers.png");margin-left:32px;} |
