a:hover  { color: #000080; text-decoration: none }