other small CSS changes