get_margin_border_padding_height


Description:

public inline int get_margin_border_padding_height ()

Gets the combined height of margins, borders and paddings.

Specifically, it is the sum of the top and bottom margins, the top and bottom borders and the top and bottom paddings. It does not include the width of the content area.