a:link {color: blue}     
a:visited {color: blue}  
a:hover {color: red}   
a:active {color: blue}   

p {color: #000000}
p {font-family: verdana}
p {font-size: 10pt}
p {margin-left: 10}
p {margin-right: 10}

.class_body_nav A:link {color: blue}
.class_body_nav A:visited {color: blue}
.class_body_nav A:active {color: red}
.class_body_nav A:hover {color: red}

.class_main_nav A:link {color: black; text-decoration: none}
.class_main_nav A:visited {color: black; text-decoration: none}
.class_main_nav A:active {color: red; text-decoration: none}
.class_main_nav A:hover {color: red; text-decoration: none}

.class_redbutton_nav A:link {font-family: verdana; font-size:12; color: white; text-decoration: none}
.class_redbutton_nav A:visited {font-family: verdana; font-size:12; color: white; text-decoration: none}
.class_redbutton_nav A:active {font-family: verdana; font-size:12; color: white; text-decoration: none}
.class_redbutton_nav A:hover {font-family: verdana; font-size:12; color: yellow; text-decoration: none}