.jumpmenu {background:#000080; font-family:ariel, helvetica, sans-serif; font-weight:bold; font-size:12px; color:#ffffff;}