body
{
  background-color: #FFFFFF;
  font-family: Helvetica
}

tt
{
  font-family: Courier, Tahoma;
  font-weight: Bold;
  font-size: 90%;
}

.hv
{
  font-family: Helvetica;
}

p
{
  font-family: Helvetica;
}

li
{
  font-family: Helvetica;
}

dd
{
  font-family: Helvetica;
}

h1
{
  font-family: Helvetica;
}

h2
{
  font-family: Helvetica;
}

h3
{
  font-family: Helvetica;
  text-decoration: Underline;
}

pre
{
  font-family: Courier, Tahoma;
  font-weight: Bold;
  font-size: 90%;
}