Gtk.StyleContext.prototype.get_margin

function get_margin(state:Gtk.StateFlags):void {
    // Gjs wrapper for gtk_style_context_get_margin()
}