a:link { color: black; text-decoration: none }
a:hover { color: purple; text-decoration: none }
a:visited { color: black; text-decoration: none }
.class { font-size: 8pt; font-family: Verdana; text-decoration: none }
.pageheading { color: #afbbcf; font-size: large; font-family: Verdana; font-weight: bold; text-decoration: none }
a:active { color: red }
.tableline { border-right: 1pt solid #283370; border-left: 1pt solid #283370 }
.tablebox { border: solid 1pt #283370 }
.highlight { background-color: #fff }
.replay { color: #339; font-size: 7pt; font-family: Verdana; font-weight: bold }
.castle { font-size: 7pt; font-family: Verdana }