MARGIN_WIDTH
(Unit separator: RMRGN)

Type Real
Initial value 9.524
Description The width of a margin. A unit be character width.