body {
  background-color:#690000;
  color:#DDDDDD;  
  font-family: Arial, Helvetica, sans-serif, Verdana;
  scrollbar-base-color:#690000;
  scrollbar-arrow-color:#DDDDDD;
}

a:link { 
  color: #DDDDDD; text-decoration: underline
}

a:visited { 
  color: #DDDDDD; text-decoration: underline
}

a:hover {
  color: #DDDDDD; text-decoration: underline
}

.button {
  background-color: #690000;
  color: #dddddd;
  font-family: Arial, Helvetica, sans-serif, Verdana;
  font-size: 10pt;
} 

.button:hover { 
  background-color: #dddddd;
  color: #690000
}

input {
  font-family: Arial, Helvetica, sans-serif, Verdana;
  font-size: 10pt;
  font-style: normal;
  background-color: #690000;
  color: #DDDDDD;
  font-weight: normal;
}

.http_link {			/* used for http links shown in results */
  color:#DDDDDD;       
  font-weight:normal;
  font-size:small;
}