get_margin
Description:
Gets the margin for a given state as a Border.
 See gtk_style_property_get and STYLE_PROPERTY_MARGIN for 
      details.
Parameters:
| this | |
| state | state to retrieve the border for | 
| margin | return value for the margin settings |