a:hover {  color: #CCCCCC; font-family: Verdana, Arial, Helvetica, sans-serif; text-decoration: none; }
.redmenu { color: #FFFFFF; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; text-decoration: none ; font-weight: bold}
.general {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt}