body,table,input { 
  margin-top: 0px;
  margin-left: 0px;
  font-weight: normal;    
  font-size: 10pt; 
  font-family: Arial, Helvetica, sans-serif;
  color: rgb(0, 0, 102);
  text-decoration: none;
}

a {
  text-decoration: none;
}

a:visited { color: rgb(0,0,102); }
a:link img { border-color: #B73BFB; }
a:visited img { border-color: #B73BFB; }

select { 
  font-weight: normal;    
  font-size: 8pt; 
  font-family: sans-serif,times;
  color: rgb(0, 0, 102);
}

.menutitle {
  background-color: rgb(230,230,230);
  font-weight: bold;
  color: b71bff;
}

.menulines {
  font-size: 80%; 
  border: 1px solid rgb(0,0,0);
  background-color: rgb(190,190,190);
  padding-left: 5px;
  padding-right: 5px;
}
    
.menuselect {
  font-size: 80%; 
  border: 1px solid rgb(0,0,0);
  background-color: rgb(230,230,230);
  padding-left: 5px;
  padding-right: 5px;
}
    
.highred   { color: rgb(150,0,50)}