\input BasicMacros
% TR10PasteFormat.tex of January 9, 1984 6:14 pm --- Stolfi
% TEX macros for paste-up of two-column papers (like STOC, FOCS, etc).
% Things to fix
% ADDITIONAL MACRO FILES
\input SearchMacros
\input AlgMacros
\input ProgMacros
\input TR10Fonts
% ADDITIONAL FONT DEFINITIONS
\font ==TimesRomanb at 14truebp % for chapter and paper titles
\font F=TimesRoman at 14truebp % to fake math in chapter and paper title
\font C=TimesRomani at 14truebp % idem
\def\titlefont{\:=\def\mainfont{\:=}} % font used for chapter and paper titles
\font <=TimesRomanb at 12truebp % for running header and page numbers
\def\headerfont{\:<\def\mainfont{\:<}} % font used for headers and page no.s
% MISCELANEOUS OPTIONS AND PARAMETERS
% (dimensions in points unless otherwise indicated)
% Page width and related parameters
\def\pagewidth{440} % page width
% dimensions in effect during normal text
\def\defnormalwidths{
\def\textwidth{310} % text width
\def\progwidth{300} % program width
\def\algwidth{300} % width of algorithms
}
% Reduced dimensions in effect during \mfigs
\def\defmfigwidths{
\def\textwidth{200} % text width
\def\progwidth{190} % program width
\def\algwidth{190} % width of algorithms
}
\def\theowidth{\textwidth} % width of theorems
\def\textheight{640} % height available for text
\def\leftskip{20} % extra space on left margin of page
\def\ftfigwidth{200} % width of text in footnotes with figures
\def\figcapwidth{200} % width of figure captions
\def\abstrwidth{400} % width of abstract
% Text
\def\textindent{10} % indentation for paragraphs in text
\def\itemindent{20} % indentation of \item and \itemno body
\jpar 10
\def\stdbaselineskip{2.4} % normal inter-baseline distance (in ex)
\def\smallbaselineskip{2.5} % inter-baseline distance for \small (in ex)
\def\thelineskip{0.2} % minimum distance betweeen lines (in ex)
\def\theparskip{0.75} % extra skip between paragraphs (in ex)
\def\stdparindent{0} % standard indentation for paragraphs
\def\smallparindent{0} % indentation of paragraphs in \small
% Theorems, definitions and proofs
\def\theostatindent{10} % indentation of them. statements
\def\theoitemindent{30} % \theostatindent+\itemindent
\def\proofindent{0} % indentation of proofs
% Algorithms
\def\progindent{10} % indentation of outermost bracket
\def\algvskip{0.3} % skip between alg. steps (in ex)
% Programs
\def\progindent{10} % indentation of outermost bracket
\def\progvskip{0.3} % skip between prog. steps (in ex)
% Figures
\def\omitfigures{T} % suppress all figure spaces (just captions).
% Footnotes
\botsep{\vskip4pt plus 2pt
\hrule width \textwidth pt\vskip2pt} % before first \botinsert
\botskip 3pt plus 2pt % space between \botinserts
\input PaperMacros