% \filename{mfig.tex}
% \edited{last by stolfi on Wed Dec 14 22:08:59 1988}

% Parameters for style with wide marging for figures.
%   (Single-spaced)
% Valid for both 10- and 11-point basic fonts.

% To be input after a font package and papermacros.tex have been loaded.

\catcode`\@=11 \endlinechar=-1

% PAGE DIMENSIONS

  \message{dimensional parameters ...}

  \pagewidth=460pt

  \textwidth=300pt
  \textheight=620pt

  \hoffset=0pt
  \voffset=0pt

  \topinsertsep=10pt
  \maxdepth=4pt
  \splitmaxdepth=\maxdimen
  \boxmaxdepth=\maxdimen

% BASELINE DISTANCES

  % \baselinesep=0pt, changed by \normalbaselines
  % \linesep=0pt, changed by \normalbaselines
  % \lineseplimit=0pt, changed by \normalbaselines

  {\bigTXrmfont % big size roman text font
   \global\bigbaselinesep=2.75ex plus 0.3ex                  % was 2.6ex
   \global\biglinesep=0.2ex plus 0.2ex
   \global\bigparsep=0.3ex plus 0.2ex} % Was 0.85 ex

  {\norTXrmfont % normal size roman text font
   \global\normalbaselinesep=2.75ex plus 0.3ex               % was 2.6ex
   \global\normallinesep=0.2ex plus 0.2ex
   \global\normalparsep=0.3ex plus 0.2ex} % Was 0.85 ex

  {\smaTXrmfont % small size roman text font
   \global\smallbaselinesep=2.75ex plus 0.3ex                % was 2.6ex
   \global\smalllinesep=0.2ex plus 0.2ex
   \global\smallparsep=0.3ex plus 0.2ex} % Was 0.85 ex

  {\norTXrmfont
   \global\abovedisplaysep=2.0ex plus 0.5ex minus 0.3ex
   \global\abovedisplayshortsep=0ex plus 0.5ex
   \global\belowdisplaysep=2.0ex plus 0.5ex minus 0.3ex
   \global\belowdisplayshortsep=1ex plus 0.5ex minus 0.7ex}

  \jot=3pt
  \def\matrixbaselinesep{1.6\baselinesep}
  \def\matrixcolumnsep{0.5em}

% PARAGRAPH FORMAT

  \textindentglue=20pt % indentation of indented paragraphs

  \parindent=1\textindentglue

  \leftglue=0pt
  \rightglue=0pt
  \mathsurround=0pt
  \tabglue=0pt
  \spaceglue=0pt
  \xspaceglue=0pt
  \parfillglue=0pt plus 1fil

  \hfuzz=5pt
  
  % \hangindent=0pt, zeroed by TeX after each paragraph
  % \predisplaysize=0pt, set before TeX enters $$

% TITLES ETC.

  % These should go in a \designsize-dependent file!
  
  \titlewidth=\pagewidth
  \abstrwidth=0.9\textwidth

%  TOP/BOTTOM/MID/SIDE/FULL-PAGE INSERTS

  \glue\botins=\normalbaselinesep % space before 1st botinsert
  \botinsertsep=0.5\normalbaselinesep % extra glue between botinserts

  \glue\topins=\z@glue % no extra space added when a topinsert is present
  \topinsertsep=0.5\normalbaselinesep % extra glue between topinserts
  
  \glue\sideins=\z@glue % no extra space added when a sideinsert is present
  \sideinsertsep=0pt

% FIGURES

  \omitfiguresfalse
  \captionsonlytrue
  \figcapwidth=120pt % width of figure captions
  \mfigwidth=140pt % width of marginal figures

% ANNOTATIONS 

  \omitnotesfalse

% FOOTNOTES

  \footindent=10pt % left indentation of footnotes
  \footfigwidth=0.25\textwidth % width of marginal figures

% REFERENCES

  {\norTXrmfont
   \global\refindent=3em         % indentation of reference body
   \global\refremindent=4em % indentation of reference remarks
   \global\refvglue=2ex  % vglue between references
   }

% THEOREMS & PROOFS

  \theostatindent=20pt  % indentation of theorem statements
  \proofindent=0pt  % indentation of proofs

% OUTPUT ROUTINE

    % \makeheadline builds the header line as a box with
    %   zero height and depth, with all the ink sticking out above it
    
    \def\makeheadline{
      \vbox to 0pt{
        \null\vss
        \hbox to \pagewidth{
          \headerfont
          \iffirstpage \else 
            \ifodd\pageno
              \hdtitle\hfil\number\pageno 
            \else
              \number\pageno\hfil\hdtitle
            \fi
          \fi
        }
        \vskip 4 pt
        \hrule
        \vskip 3 pt
        \hrule
      }
    }

    % \makepagebody combines top, bottom and side insertions
    %   with the main text into a box of height \vsize and depth 0:

    \def\makepagebody{
      {
        \setbox\z@\vbox to\vsize{
          \boxmaxdepth\maxdepth
          \ifvoid\topins\else\unvbox\topins\fi
          \unvbox\@cclv % open up \box255
          \ifvoid\botins\else % footnote info is present
            \vskip\glue\botins
            \kern-0.5\glue\botins
            \hrule width 2truein
            \kern -0.4\p@
            \kern 0.5\glue\botins
            \unvbox\botins
          \fi
        }
        \setbox2\vbox to\vsize{
          \vskip 0pt plus 1500pt minus 1000pt
          \ifvoid\sideins\else
            \unvbox\sideins\vskip 0pt plus 1000pt minus 1000pt
          \fi
        }
        \dp\z@=\z@ 
        \dp2=\z@
        \setbox0\hbox to \pagewidth{
          \ifodd\pageno \box0\hss\box2 \else \box2\hss\box0 \fi
        }
        \box\z@
      }
    }

% MODE AND FONT INITIALIZATION

  \message{initialization ...}

  \hsize\textwidth
  \vsize\textheight
  \normalsize\rm

\catcode`@=12 \endlinechar=`\^^M %

% END

