a { text-decoration: none }
a.menu { color: #06f; font-weight: bolder; font-size: 8pt; font-family: Verdana, Arial, Times }
a.menu:hover { color: #096; text-decoration: none }