1body {
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}
15pre {margin:0;}
16html>body{background-position:0 2px;}
17P {margin:0;padding:0;border:0;outline:0;display:block;white-space:pre;}
18b, 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
20body.hide-line-numbers {background:white;margin-left:16px;}
21body.show-line-numbers {background-image:url("images/line-numbers.png");margin-left:32px;}