.menu { line-height: 1.5; text-align: right; font-size: 12px; font-family: Verdana, Arial  }
a { color: #800000; padding: 2px 4px 2px 4px; text-decoration: none }
a:hover { color: #ffffff; background-color: #800000 }
