doc/manual.css

   1 body { font-family: Arial, helvetica, sans-serif }
   2 h1 { font-family: Arial, helvetica, sans-serif; color: darkblue }
   3 h2 { font-family: Arial, helvetica, sans-serif; color: darkblue }
   4 h3 { font-family: Arial, helvetica, sans-serif; color: darkblue }
   5 h4 { font-family: Arial, helvetica, sans-serif; color: darkblue; top-padding: .2em }
   6 h5 { font-family: Arial, helvetica, sans-serif; color: darkblue; top-padding: .2em }
   7
   8 body { background: white }
   9 title { font-family: Ariel, helvetica, sans-serif; color: darkblue }
  10 A:link { color: blue }
  11 A:visited { color: darkblue }
  12 A:active { color: green }
  13 body { margin-left: 0%; margin-right: 0%; margin-top: 0%; margin-bottom:
  14 0% }
  15 h4 { margin-left: 0%; margin-right: 0% }
  16 h3 { margin-left: 0%; margin-right: 0% }
  17 h2 { margin-left: 0%; margin-right: 0% }
  18 h1 { margin-left: 0%; margin-right: 0% }
  19
  20
  21