|
809
by William Grant
Merge killall-editarea branch. We now use CodePress instead, which is |
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 |
}
|
|
|
929
by wagrant
CodePress: Use the text cursor over the entire <pre>. |
15 |
pre {margin:0;cursor:text;} |
|
809
by William Grant
Merge killall-editarea branch. We now use CodePress instead, which is |
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;} |
|
|
929
by wagrant
CodePress: Use the text cursor over the entire <pre>. |
21 |
body.show-line-numbers {background-image:url("images/line-numbers.png");margin-left:32px;} |