a:link       { color: #993300; }div.menu     { font-size: 8pt; font-weight: bold; }a:visited{color: #993300;} a:active {color: rgb(255,153,0);}a:hover      { color: #CC0000; }body         { margin: 1px 5px 5px 5px;  font-family: Arial, Helvetica;   font-size: 0.8em;  background: url("../navpics/whttxtr3.jpg");}table{	table-border-color-light: rgb(255,102,153);	table-border-color-dark: rgb(102,51,153); }h1           { font-family: Arial, Helvetica;  }h2           { font-family: Arial, Helvetica;  }h3           { font-family: Arial, Helvetica;				 font-size: 14pt;  }h4           { font-family: Arial, Helvetica;  }h5           { font-family: Arial, Helvetica;  }h6           { font-family: Arial, Helvetica;  }