.menu {  font-size: 12px; color: #0000FF; text-decoration: none; margin-top: 1px; margin-right: 1px; margin-bottom: 2px; margin-left: 1px; padding-top: 1px; padding-right: 1px; padding-bottom: 2px; padding-left: 1px; font-family: Verdana, Arial, Helvetica, sans-serif; font-style: normal; line-height: normal; font-weight: normal}