HEAD {
  font-family: "Times New Roman";
}

BODY {
  font-family: "Times New Roman";
  font-size: 12pt;
}

H2 {
  font-weight: bold;
  color: #0000A0;
  font-family: "Times New Roman";
  font-size: 20pt;
  text-align: center;
}

$DOCUMENT {
  font-size: +3pt;
}