div.main {  
  position:absolute; 
  width:769px; 
  height:613px; 
  z-index:0; 
  left: 208px; 
  top: 167px; 
  background-color: #FFFFFF; 
  layer-background-color: #FFFFFF; 
  border: 1px none #000000;
  font-family: Arial;
  font-size: 13px;
}

div.main pre, div.main table { 
  font-family: Arial;
  font-size: 13px;
}

a.links {  
  font-family: Arial;
  font-size: 13px;
  
}

a.links:link, a.links:visited {
  color: blue;
  text-decoration: none;
}

a.links:active, a.links:hover { 
  color: blue;
  font-weight: bold;
  text-decoration: underline;
}

a.navdir { 
  font-family: Arial;
  font-size: 13px;
  color: red;
}

a.navdir:link, a.navdir:visited { 
  text-decoration: none;
}

a.navdir:active, a.navdir:hover { 
  font-weight: bold;
  text-decoration: underline;
}