get_margin

Description:

public Border get_margin ()

Gets the margin for a given state as a `GtkBorder`.

this	a `GtkStyleContext`
margin	return value for the margin settings