.menu {  font-family: Arial, Helvetica, sans-serif; font-size: 10px}
.menubold {  font-family: Arial, Helvetica, sans-serif; font-size: 11px; font-weight: bold}
.boldbig {  font-family: Arial, Helvetica, sans-serif; font-size: 14px; font-weight: bold}
.menuboldunder { font-family: Arial, Helvetica, sans-serif; font-size: 11px; font-weight: bold ; text-decoration: underline}
.normal {  font-family: Arial, Helvetica, sans-serif; font-size: 12px}