Units for "set margin"?

[Philipp K. J. <ja...@ie...>]

According to the manual, the units for the
	set ?margin
commands are "character heights or widths,
as appropriate", using the default font for the
current terminal, I assume.

What does this mean for non-fixed character
sized fonts, including Helvetica?

Best,

		Ph.