Very minor CSS cleanup.