Tmargin

The command set tmargin sets the size of the top margin. Please see set margin (p. [*]) for details.

Autobuild 2016-12-15