Variable: default-left-margin-width

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