A:link {
  color: #0000ff;
  font-size: small;
  font-weight: bold;
  text-decoration: none;
}

A:visited {
  color: #0000ff;
  font-size: small;
  font-weight: bold;
  text-decoration: none;
}

A:hover {
  color: #ff0000;
  font-size: small;
  font-weight: bold;
  text-decoration: underline;
}

BODY {
  background: #ffffff;
  font-family: arial;
  font-size: small;
  color: #000000;
}

H1 {
  color: #087bdf;
  font-family: arial;
  font-weight: bold;
  text-align: center;
}

P {
  background: #ffffff;
  font-family: arial;
  font-size: small;
  color: #000000;
}

DT {
  color: #087bdf;
  font-family: arial;
  font-weight: bold;
  font-size: medium;
}

DT.pre {
  color: #000000;
  font-family: courier;
  font-weight: bold;
  font-size: small;
}

DD {
  color: #000000;
  font-family: arial;
  font-size: small;
}
