The command rmargin sets the size of the right margin. Please see margin for details.
This document was generated on November 19, 2011 using texi2html 5.0.