.nav, a.nav, a.nav:visited { color:#3333FF; font-family:technical, helvetica, times; font-size:6 pt; text-declaration:none }
a.nav:hover, a.nav:active { color:#0000FF; text-declaration:underline }