Minor CSS refinements.