body
{
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12;
  background-image: url(../images/background.gif);
  background-repeat: repeat-y;
  margin: 12px;
}

pre
{
  font-family: Courier, fixed, serif;
  font-size: 12;
}

table
{
  font-size: 12;
}