<!-- /* Style Sheet definitions need to be commented to hide them from incompatible Browsers.*/


.menu
{
  font-family: Arial;
  font-size: 78%;
  color: #9a9aff;
  text-decoration: none;
  font-weight: bold;
}


/* End Style Sheet commenting. */  -->