[Summary view] [Print] [Text view]

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