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;}