body {
  margin-left: 40pt;
  margin-top: 40pt;
  width: 720px;
  font-family: "Garamond", "Georgia", serif;
  font-size: 18px;
  line-height: 22px;
  background-color: #fffefc;
}

tt { 
}

pre { 
}

dl {
  font-size: 16px;
  line-height: 20px;
}

a:link {
  text-decoration: none;
  color: #990000;
}

a:visited {
  text-decoration: none;
  color: #660000;
}

h1 {
 font-size: 24px;
 font-weight: normal;
}

h2 {
 font-size: 22px;
 font-weight: normal;
}

h3 {
 font-size: 20px;
 font-weight: normal;
}