.small { font-size:small }
.caption { font-weight:bold }
a:link.header { text-decoration: none }
a:visited.header { text-decoration: none }
a:hover { color: black }
.filetype { font-weight:bold; color: green }
h2 { text-decoration: underline }
h3 { text-decoration: underline }
dt { text-decoration: underline }