Slightly smaller `pre` fonts.