body {
  font-family: helvetica, verdana, arial, sans-serif;
  margin: 12; 
  font-size: 76%;
}

table { font-size: 100%; }
pre   { font-size: 110%; }

h1 {font-weight: bold; font-size: 1.80em;   letter-spacing: -0.04em; } 
h2 {font-weight: bold; font-size: 1.60em;   letter-spacing: -0.04em; } 
h3 {font-weight: bold; font-size: 1.40em;   letter-spacing: -0.01em; } 
h4 {font-weight: bold; font-size: 1.20em;   letter-spacing: -0.01em; } 
h5 {font-weight: bold; font-size: 1.00em;   } 

a:link     {color: #0000FF;}
a:visited {color: #0000FF;}
a:hover  {
  color: #FFFFFF; 
  background-color: #000077; 
  text-decoration: none;
}
a:active {
  color: #FF0000;
  background-color: #000077; 
  text-decoration: none;
}