body { bgcolor: white; font-family: Helvetica, sans-serif; font-size: small }

#nav { font-family: Arial, Helvetica, sans-serif; font-size: x-small }

#title { font-family: Helvetica, Arial; font-size: small; color: white; font-weight: bold }

td { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: small }

a:link {color: blue}

a:visited { color: red }

a:hover { background-color: blue; color: white }

h1 { font-size: 150% }

h2 { font-size: 100% }

h1 { font-family: Arial, Helvetica, sans-serif; color: red }

h2 { font-family: Arial, Helvetica, sans-serif; color: black }

div.date { font-family: Arial, Helvetica, sans-serif; color: gray; font-size: small; margin-top: 2em; margin-bottom: 1em }

div.datefirst { font-family: Arial, Helvetica, sans-serif; color: gray; font-size: small; }

div.def { font-family: Verdana, Arial; color: darkviolet; font-size: small; }