.menu:hover     { color: #ccccff; 
                  text-decoration: underline }

.menu           { color: #ffffff; 
                  font-family: verdana, arial, helvetica, sans-serif; 
                  font-size: 7pt; 
                  font-weight: bold; 
                  text-decoration: none }

.menu:link      { color: #ffffff; }

.menu:visited   { color: #ffffff; }

acronym {
        border-bottom: 1px dashed #00cc00;
        cursor: help;
        text-decoration:underline;
}