a { text-decoration: none }
a.menu { color: #a9a9a9; font-weight: normal; font-size: 7pt; font-family: Verdana, Arial, Times }
a.menu:hover { color: #008b8b; text-decoration: none }