.9t {  font-size: 9pt; line-height: 20px}
.t920 {  font-size: 9pt; line-height: 20px}
.t930 {  font-size: 9pt; line-height: 30px}
.10t {  font-size: 10pt}
.green9 {  font-size: 9pt; color: #EFFFB0}
a:visited {  color: #000000; text-decoration: none}
a:active {  color: #006600}
a:hover {  color: #999999}
a:link {  color: #000000}
a.do:visited {  color: efffb0; text-decoration: none; }
a.do:active {  color: #FFFF00; }
a.do:hover {  color: #CCFF00; }
a.do:link {  color: #F4FFCC; }
a.go:active {  color: #006600}
a.go:hover {  color: #999999}
a.go:link {  color: #000000; text-decoration: none}
a.go:visited {  color: #000000; text-decoration: none}