@charset "utf-8";
/* CSS Document */

body {
}
a.nav:link {color: #FFFFFF ; text-decoration: none; }
 a.nav:visited {color: #FFFFFF; text-decoration: none; }
 a.nav:hover {color: orange; text-decoration: none; }
 a.nav:active {color: red; } 

a.external:link {color: #A0A0A4; font-weight: bold; }
 a.external:visited {color: #A0A0A4; font-weight: bold; }
 a.external:hover {text-decoration: overline; background-color: #003399; }
 a.external:active {color: #A0A0A4; }