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

div {
border: 1px solid #008000;
background-color: #f0ffff;
padding: 7px;
margin: 5px 150px 5px 50px;
line-height: 1.5em;
}

#dupnavlist li {
        display: inline;
        padding-right: 0.9em;
        padding-left: 0.9em;
        border-right: 1px solid #009;
} 

#navlist li {
        display: inline;
        padding-right: 0.9em;
        padding-left: 0.9em;
        border-right: 1px solid #009;
} 

#navlist li.last {
       border: none;
}
#navlist {
       font-family: Verdana, Arial, sans-serif;
       font-size: 0.8em;
       font-weight: bold;
       text-align: center;
}
#navlist a {
       color: #009;
       text-decoration: none;
}
#navlist a:hover {
       color: #39F;
       text-decoration: underline;
} 

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

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

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

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

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