int marginHeight()
Gets or sets the margin height (extra space above/below text).
The default is 3 pixels.
void marginHeight(int v)
ditto