body {
      background : white;
      color : #000000;
      font-family : Calibri, Verdana, Helvetica, Arial;
      text-align : justify; 
      font-size : 10pt;
   }
   table {
      font-family : Calibri, Verdana, Helvetica, Arial;
      font-size : 12pt;
}
   ul {
      margin : 0 0 1em 2em;
      font-weight : normal;
      list-style : disc;
   }
   a:link, a:visited, a:active {
      color : blue;
   }
   a:hover {
      color : black;
   }
   x1 {
      color : black;
   }
   x2 {
      color : black;
   }
   ul.history {
      margin : 0 0 0 0;
      font-weight : bold;
   }
   
   b.kw {
	  color : Navy;
	  font-weight : bold;
   }
   b.no {
	  color : Maroon;
	  font-weight : bold;
   }
   b.str {
	  color : Green;
	  font-weight : bold;
   }
   code {
      font-family : consolas, Courier New, Arial;
      text-align : justify; 
      font-size : 9pt;
   }

   .indented  {
	  margin-left: 20pt;
	  margin-right: 20pt;
   }