Set the width of the "gutter" column used for numbering.