
a:link      { color: #f00; text-decoration: none }
a:visited    { color: #cd5c5c; text-decoration: none; visited: a:visited }
a:active  { color: fuchsia }
.class-body      { font-size: 9pt; line-height: 130% }
a:hover { color: #ffa500; font-weight: bolder; text-decoration: underline }
.class-p { line-height: 110% }
