Margin on top side of widget.
This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from [ [email protected]_size_request] for example.