added style control for Mozilla red border.