body {
  background-color: white;
  margin: 0px;
  font-family: Verdana, sans-serif;
  font-size: 10pt;
}

p, th, td, div, ul, li, span, small { font-family: Verdana, sans-serif; font-size: 10pt;}

small { font-size: 8pt; }

h2 { font-family: Verdana, sans-serif;}
h3 { font-family: Verdana, sans-serif;}
ul { margin: 0pt 10pt 5pt 25pt; }
li { line-height: 1.5; }

table {
  font-family: Verdana, sans-serif;
  font-size: 10pt;
}

.h3 { font-size: 136%; font-weight: bold;}

.pagetop {
  font-family: Verdana, sans-serif;
  font-size: 24pt;
  font-weight: bold;
  color: white;
  background-color: black;
}

.menu {
  font-family: Verdana, sans-serif;
  font-size: 10pt;
  width: 150px;
  color: white;
  background-color: black;
  padding: 5pt;
}

A.menulink {
  color: white;
  text-decoration: none;
  line-height: 2;
}

A.menulink:hover {
  color: red;
  text-decoration: underline;
}

.red {
  color: red;
}