body   { background-color : #F4F4FF;
         color : black;
         font-family : Verdana, Arial, sans-serif; font-size: 11pt;
         margin-left: 0.5in; margin-top: 0.3in;
         margin-right: 0.5in;
       }

h1     { color : #000090;
         font-size : 150%;
       }

h2     { color : #000090;
         font-size : 150%;
       }

h3     { color : #000090;
         font-size : 115%;
       }

pre    { font-family: lucida console; font-weight: bold;
         font-size: 120%; }

.tt    { font-family : lucida console ; 
         font-weight : bold;
       }

.blue  { color : #000080 ;
         font-weight : bold;
       }

.red   { color : #FF0000 ;
         font-weight : bold;
       }