h2 {font-size: 24px; font-family: Times New Roman}
h3 {font-size: 20px; font-family: Times New Roman; font-weight: normal}
body, td {font-size: 15px; font-family: Times New Roman}
pre {font-size: 13px}
.px13 {font-size: 13px; font-family: Times New Roman}
a  {text-decoration: none}