body  { color: #f60; font-size: 11pt; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
a:hover  { color: orange }
a:vlink  { color: teal; text-decoration: none }
.head { font-weight: 600; font-size: 16pt }
a { color: blue; text-decoration: none; }
.class { font-weight: bold; }