body { color: navy; font-size: 15px; font-family: "Trebuchet MS", Arial, Helvetica }
.smaller { font-size: 80% }
a:link { font-weight: bold; text-decoration: underline }
a:visited  { font-weight: bold; text-decoration: underline }
a:hover { color: red }