small CSS cleanup