minor changes in CSS/options