Minor improvements in CSS