Lines Matching refs:Margin
195 % Margin to add to right of even pages, to left of odd pages.
202 % that the text looks ok even though it passes the margin).
397 \newinsert\margin \dimen\margin=\maxdimen
403 \ifvoid\margin\else % marginal info is present
404 \rlap{\kern\hsize\vbox to\z@{\kern1pt\box\margin \vss}}\fi
752 % outputs text on separate line in roman font, starting at standard page margin
765 % @inmargin{WHICH}{TEXT} puts TEXT in the WHICH margin next to the current
766 % paragraph. For more general purposes, use the \margin insertion
807 \def\temp{\inrightmargin\righttext}% odd page -> outside is right margin
832 % the \llap here moves out into the left-hand margin.
3495 % margin between end of table item and start of table text.
3973 % left margin and final column will justify at right margin.
4715 \let\SETmarginindex=\relax % put index entries in margin (undocumented)?
4747 % Put the index entry in the margin if desired.
4749 \insert\margin{\hbox{\vrule height8pt depth3pt width0pt \the\toks0}}%
4960 % then page number (#2) flushed to the right margin. It is used for index
6363 % Flag to tell @lisp, etc., not to narrow margin.
6562 \indentedblockstart % same as \indentedblock, but increase right margin too.
7043 % Put the category name at the right margin.
8407 \newsaveins\margin
