<!--
a.nav { text-decoration:none; }
a.nav:hover { text-decoration:underline; }
-->