h1 {font-family: Arial, Helvetica}
h2 {font-family: Arial, Helvetica}
h3 {font-family: Arial, Helvetica}
p {font-family: Arial, Helvetica; font-size: 10pt;}

.codebox {font-family: Courier; font-size: 10pt; border: dashed blue 1px; background-color: #99CCFF; white-space: pre;}