body
{
  background-color: #FFFFFF;
  font-family: Helvetica, Arial;
  for-printing-font-size: 80%;
}

tt
{
  font-family: Helvetica, Arial;
  font-weight: Bold;
  font-size: 80%;
}

.hv
{
  font-family: Helvetica, Arial;
}

p
{
  font-family: Helvetica, Arial;
  for-printing-font-size: 80%;
}

li
{
  font-family: Helvetica, Arial;
}

dd
{
  font-family: Helvetica, Arial;
}

h1
{
  font-family: Helvetica, Arial;
}

h2
{
  font-family: Helvetica, Arial;
}

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

pre
{
  font-family: Helvetica, Arial;
  font-weight: Bold;
  font-size: 70%;
}

td
{
  font-family: Helvetica, Arial;
  for-printing-font-size: 80%;
}

th
{
  font-family: Helvetica, Arial;
  font-size: 90%;
}