doc/webserver/p_web.css

   1 hr { width: 95% }
   2 body { background: #EEEEEE; }
   3 h1, h2, h3, h4 { font-family: arial, helvetica, sans-serif }
   4 code { color: green }
   5 pre { margin-left: 2% }
   6 # p { margin-left:20px }
   7 body { margin-left:20px }
   8 h1 { color: #404; font-size: 175%; margin-left:0px }
   9 h2 { color: #606; margin-left:0px }
  10 h3, h4 { color: #806; margin-left:0px }
  11 ul { list-style-type: square }