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