code {  font-family: "Courier New", Courier, mono; color: #993300; font-weight: bold}
pre {  color: #993300; font-family: "Courier New", Courier, mono}
pre {  font-weight: bold}
h1 {  font-family: Arial, Helvetica, sans-serif; font-size: 18pt; font-weight: bold}
h2 {  font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold}