$DOCUMENT {
  font-family: Verdana;
}

BODY {
  font-family: Verdana;
  font-size: 13pt;
}