body   { background-color : #F4F4FF;
         color : black;
         font-family : Verdana, Arial, sans-serif;
         margin: 0.5in, 1in, 0.5in, 1in;
       }

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

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

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

.sm     { color : #000090;
         font-size : 90%;
       }

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;
       }