minor fixes in CSS