.menu a    { font-size: 12pt;  TEXT-DECORATION: none;  }

.menu a:hover {border-style:double; border-width:3; font-size: 12pt; text-decoration:underline;padding-left:1; padding-right:1; padding-top:1; padding-bottom:1; background-color:#C0C0C0 }

.menu a:active { font-size: 12pt;  TEXT-DECORATION: underline }