.tx {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; text-decoration: none; color: #000000}
.tx:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; text-decoration: underline}
.txint {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; text-decoration: none}
.txint:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px; text-decoration: underline}
.txbig {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: none}
.txbig:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; text-decoration: underline}.txbig2 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px}