.body_text {  font-family: Arial, Helvetica, sans-serif; font-size: 11px; text-decoration: none; line-height: 16px}
.body_text_links {  font-family: Arial, Helvetica, sans-serif; font-size: 11px; color: #000080; text-decoration: none; line-height: 16px}
.links {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #000080; text-decoration: none; font-weight: normal}
.nav_links {  font-family: Arial, Helvetica, sans-serif; font-size: 13px; color: #000000; text-decoration: none; font-weight: normal}
.titles {  font-family: Arial, Helvetica, sans-serif; font-size: 13px; font-weight: bold}
.heading2 {  font-family: Arial, Helvetica, sans-serif; font-size: 11px; font-weight: bold; line-height: 24px}
.table_text {  font-family: Arial, Helvetica, sans-serif; font-size: 10px; line-height: 14px}
.small_print {  font-family: Arial, Helvetica, sans-serif; font-size: 9px; text-decoration: none; line-height: 13px}
.small_print_links {  font-family: Arial, Helvetica, sans-serif; font-size: 9px; color: #000080; text-decoration: none; line-height: 13px}

.anchorclass{  font-family: Arial, Helvetica, sans-serif; font-size: 13px; color: #000000; text-decoration: none; font-weight: normal}

.selectedanchor{ 
/*CSS class that gets added to the currently selected anchor link (assuming it's a text link)*/
color: orange;
background: white;
}


/* ######### Default class for drop down menus ######### */

.anylinkcss{
position: absolute;
left: 0;
top: 0;
visibility: hidden;
border: 1px solid black;
border-bottom-width: 0;
font: normal 13px Arial;
line-height: 18px;
z-index: 100; /* zIndex should be greater than that of shadow's below */
background: white;
width: 120px; /* default width for menu */
}


.anylinkcss ul{
margin: 0;
padding: 0;
list-style-type: none;
}

.anylinkcss ul li a{
width: 100%;
display: block;
text-indent: 3px;
border-bottom: 1px solid black;
padding: 1px 0;
text-decoration: none;
/font-weight: bold;
color: #000080;
text-indent: 5px;
}

.anylinkcss a:hover{ /*hover background color*/
background: white;
color: orange;
}

