bc/doc/texinfo.tex

53 %   dvips foo.dvi -o # or whatever, to process the dvi file; this makes foo.ps.
147 % Margin to add to right of even pages, to left of odd pages.
270 \newinsert\margin \dimen\margin=\maxdimen
276 \ifvoid\margin\else % marginal info is present
277   \rlap{\kern\hsize\vbox to\z@{\kern1pt\box\margin \vss}}\fi
406     % Everything's ok; the right environment has been started.
439 % Kludge this until the fonts are right (grr).
635     % Do not allow a page break right after this kern.
675 % outputs text on separate line in roman font, starting at standard page margin
690 % @inmargin{TEXT} puts TEXT in the margin next to the current paragraph.
1429 % argument is to make the input look right: @dmn{pt} instead of @dmn{}pt.
1628 % chapter name on inside top of right hand pages, document
1642 % page number on top right.
1697 % margin between end of table item and start of table text.
1742     % but leave it ragged-right.
2158   % left margin and final column will justify at right margin.
2812 \let\SETmarginindex=\relax % put index entries in margin (undocumented)?
2827   % Put the index entry in the margin if desired.
2829     \insert\margin{\hbox{\vrule height8pt depth3pt width0pt #2}}%
2973       % to make right now.
3013 % flush to the right margin.  It is used for index and table of contents
3167   % box0 will be the left-hand column, box2 the right.
3189     % though, there will be another page break right after this \output
3192     % definition right away.  (We hope \balancecolumns will never be
3737     % Switch to the right set of fonts.
3996 % The text. (`r' is open on the right, `e' somewhat less so on the left.)
4000    \hsize = \dimen0 \advance\hsize by -5.8pt % Space to left+right.
4006          \kern3pt\vrule width\dimen2}% Space to right.
4124         % Flag to tell @lisp, etc., not to narrow margin.
4372 % ending at \deftypemargin from the right margin,
4850 % To do this right we need a feature of e-TeX, \scantokens,
5568     % the \llap here moves out into the left-hand margin.
5582 % that the text looks ok even though it passes the margin).
5783 % A specific text layout, 24x15cm overall, intended for A4 paper.  Top margin
5784 % 29mm, hence bottom margin 28mm, nominal side margin 3cm.