Default value of `right-margin-width' for buffers that don't override it. This is the same as (default-value 'right-margin-width).