h1,h2,h3,h4 {
  font-family: arial;
  font-weight: bold;
}

a:link {color: blue; text-decoration: none;}
a:visited {color: blue; text-decoration: none;}
a:hover {color: red; text-decoration: none;}
a:active {color: blue; text-decoration: none;}
a:focus {color: blue; text-decoration: none;}

body {
  font-size: 110%;
  font-family: serif;
}

td {
  font-size: 110%;
}

pre {
  font-size: 115%;
  color: #0080C0;
  margin-left: 20pt
}

tt {
  font-size: 115%;
  color: #0080C0;
}

span.dlghint {
  font-size: 80%;
  color: #808080;
}    

optgroup {
  font-family: arial;
  font-weight: bold;
  font-style: normal;
  text-decoration: none;
}    

option {
}