body    { font-size: 12px; font-family: "Trebuchet MS", Arial, Geneva, Helvetica, sans-serif }
h1  { color: #4c4c4c; font-size: 32px; font-family: "Trebuchet MS", Arial, Geneva, Helvetica, sans-serif }
h2  { color: #4c4c4c; font-size: 20px; font-family: "Trebuchet MS", Arial, Geneva, Helvetica, sans-serif }
h3  { color: #4c4c4c; font-size: 16px; font-family: "Trebuchet MS", Arial, Geneva, Helvetica, sans-serif }
h4   { color: #4c4c4c; font-size: 12px; font-family: "Trebuchet MS", Arial, Geneva, Helvetica, sans-serif; font-weight: bold }
a  { color: #007; text-decoration: none }
a:hover  { color: red; text-decoration: underline }
a:visited   { }
.indent { text-indent: 20pt }
pre    { color: black; font-family: "Courier New", Courier, Monaco }
.def  { color: black; font-size: 12px }
td { font-size: 12px }
.smallnote { color: #666; font-size: smaller }