Some minor changes in CSS