Add adjustment option for margin separator width
Margin separator by default has a large width which may not be desirable always and it is also not directly related to its core functionality. Letting the user adjust it if needed will be useful.
BUG: 451164 FIXED-IN: 5.25
Edited by Nate Graham