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

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

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

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

pre    {
         font-family: Lucida Console;
         font-weight: bold;
         font-size:110%;
       }

.tt    { font-family : Lucida Console;
         font-weight : bold;
         line-height : 125%;
       }

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

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

.examp { color :#0000ff;
         font-weight : bold; 
         font-style : italic;
       }

a      { font-style: normal; }