body
  { font-family: Times New Roman;
    font-size: 12pt;
    color: #000080;
    background-color: #FFFFFF;}
    
.navfont
  { font-family: Times New Roman; 
    font-size: 12pt; 
    color: #FFFFFF; 
    font-weight: bold; 
    text-decoration: none; }
    
A:hover 
  { color: #CC0000}
  
.navy
  { color: #000080}
    
.bodyfont
  { font-family: Times New Roman;
    font-size: 12pt;
    color: #000080; }

.title
  { font-family: Times New Roman;
    font-weight: bold;
    font-size: 18pt;
    color: #CC0000; }
    
.header
  { font-family: Times New Roman;
    font-weight: bold;
    font-size: 14pt;
    color: #000080; }

.footer
  { font-family: Times New Roman;
    font-size: 10pt;
    color: #000080; }


ul
  { margin-top: 0in; 
    margin-bottom: 0in; }
    
ol
  { margin-top: 0in; 
    margin-bottom: 0in; }