
body, td, div, p, pre, ul   { }
h1   { font-size: 16px }
h2  { font-size: 14px }
h3  { font-size: 12px }
.small  { }
.mini { font-size: 11px }
.minimini { font-size: 10px }
a   { color: blue; font-weight: bold; text-decoration: none }
a:link  { color: blue }
a:visited  { color: teal }
a:active  { color: red }
a:hover { color: #f00 }
