body   { background-color: #000080; }
/*
#maindiv { width: 800; background-color: #ffffff; padding: 20;
font-family: verdana, arial; font-size: 10pt;
position: absolute; top: 0%; left:50%; margin: 0 0 0 -400; 
 }
*/
#maindiv {width: 800px; margin-right: auto; margin-left: auto;
font-family: verdana, arial; font-size: 10pt; padding: 20px;
background-color: #ffffff}
       
a {text-decoration: none}
a:hover {background-color: #FAEBD7}

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