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

#nav { font-family: Monaco, monospace; font-size: small }

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

td { font-family: 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: 300% }

h2 { font-size: 110% }

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

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

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