A property holding the rendered element’s margin as a Border. The
margin is defined as the spacing between the border of the element
and its surrounding elements. It is external to Widget’s
size allocations, and the most external spacing property of the
padding/border/margin series.