Gtk.Widget:margin-top

"margin-top"             Number                : Read / Write

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 Gtk.Widget.prototype.set_size_request for example.

Since 3.0