A:link, A:visited, A:active { text-decoration: none }
.yaccslink {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small; font-style: normal; color: #CC6600}