get_margin

Description:

public Border get_margin ()

Gets the margin for a given state as a Border.

Parameters:

this

a StyleContext
margin

return value for the margin settings