.jumpmenus {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px; text-transform: none; color: #000000; background-color: #CCCCCC; font-variant: small-caps; border-color: #666666 #666666 #999999 #999999; border-style: outset; border-top-width: thin; border-right-width: thin; border-bottom-width: thin; border-left-width: thin}