Minor cleanups in CSS code