Rmargin

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

anton 2015-08-11