minor CSS changes