A.menu01:link
{
   color:RGB(0,0,255); text-decoration:underline;
}
A.menu01:visited
{
   color:RGB(100,0,180); text-decoration:underline;	   
}
A.menu01:active						
{
   color:RGB(255,0,0); text-decoration:underline;
}
A.menu01:hover
{
   color:RGB(255,0,0); text-decoration:underline;
}

div.bordered_text_gray {
text-align: left;
width: 300px;
/* border: .2em dotted #999999; */
/* border-width: 1px; */
background-color: #000000;
padding-left:5px; 
padding-right:5px;
color: white;
padding-top:1px; 
padding-bottom: 5px; 
font-size:9pt;
}
#border {
border-width: .2em;
border-style: dotted;
border-color: #900;
}