\baselineskip=12bp
\font\docfont=doc
\textfont0=\docfont \scriptfont0=\docfont \scriptscriptfont0=\docfont
\def\tt{\fam0\docfont}		% \tt is identical to regular
\def\rm{\fam0\docfont}
\textfont1=\docfont \scriptfont1=\docfont \scriptscriptfont1=\docfont
\def\mit{\fam1} \def\oldstyle{\fam1\docfont}
\def\it{\fam\itfam\docfont} % \it is family 4
\textfont\itfam=\docfont
\def\sl{\fam\slfam\docfont} % \sl is family 5
\textfont\slfam=\docfont
\def\sc{\fam\bffam\docfont} % \sc is identical to \bf
\def\bf{\fam\bffam\docfont} % \bf is family 6
\textfont\bffam=\docfont \scriptfont\bffam=\docfont
\scriptscriptfont\bffam=\docfont
    %\def\tt{\fam\ttfam\docfont} % \tt is family 7
    %\textfont\ttfam=\docfont
\def\TeX{TeX}
\def\LaTeX{LaTeX}
\def\SliTeX{SliTeX}
\def\BibTeX{BibTeX}
\rm
\addtolength{\textwidth}{80pt}
\addtolength{\evensidemargin}{-1.2in}
\addtolength{\textheight}{1.3in}
