doc/style.css

   1 <style type="text/css"><!--
   2 body {
   3     margin: auto;
   4     max-width: 800px;
   5     background-color: #AEBECE;
   6 }
   7 h1, h2, h3, h4 { text-align: center }
   8 h1, h2, h3, h4, strong { color: #900090 }
   9 pre { background-color: #CCCCCC }
  10 --></style>