The amount of space to add on the top and bottom of the widget, in pixels.
Use set_margin_top and set_margin_bottom instead