input.red {background-color: #660000; font-weight: bold; font-size: 9px; color: white;}

input.redsearch {background-color: #660000; font-variant:small-caps; font-size: 12px; color: white;}

input.redcontrols {background-color: #660000; font-weight: bold; font-size: 11px; color: white;}