a {  font-family: Verdana, sans-serif; font-size: 9px; text-decoration: none; color: #000000}
.texttok {  font-family: Verdana, sans-serif; font-size: 12px; color: #000000}
.text2tok {  font-size: 9px; font-family: Verdana, sans-serif; color: #000000}