a.nav        { font-family: Times New Roman; font-size: 21px; color: #800000; 
               text-decoration: none; font-weight: bold }
a.nav:hover  { font-family: Times New Roman; font-size: 21px; color: #CC3300; 
               text-decoration: underline; font-weight: bold }

a            {text-decoration: none}
a:hover      {text-decoration: underline;}