Use a slightly smaller font.