1 \def\verbatim@font{\fontencoding{OT1}\fontfamily{pcr}\fontsize{10pt}{10}\selectfont}
4 \def ÷{\penalty10000\hskip0.001pt-\penalty\hyphenpenalty\hskip0.001pt\relax}
6 \def \newpagestyle#1#2#3{\@namedef{ps@#1}{\def\@oddhead{#2}\def\@oddfoot{#3}%
7 \let\@evenhead\@oddhead \let\@evenfoot\@oddfoot}}
8 \def \newdoublepagestyle#1#2#3#4#5{\@namedef{ps@#1}{\def\@evenhead{#2}%
13 \newlength{\headtextwidth}
14 \setlength{\headtextwidth}{\textwidth}
15 \addtolength{\headtextwidth}{2cm}
16 \newlength{\headetextwidth}
17 \setlength{\headetextwidth}{\headtextwidth}
18 \addtolength{\headetextwidth}{-0.5cm}
19 \newlength{\headotextwidth}
20 \setlength{\headotextwidth}{\headtextwidth}
21 \addtolength{\headotextwidth}{-0.35cm}
24 \let \protect \noexpand
27 \aftergroup\set@typeset@protect
31 \moveright\@themargin \vbox {%
32 \setbox\@tempboxa \vbox to\headheight{%
36 \hb@xt@ \headtextwidth {%
39 \let \glossary \@gobble %% 21 Jun 91
46 \box\@tempboxa \mbox{} \\
47 \ifx \@oddhead\@empty\else
48 % \rule{\headotextwidth}{0.5pt}
53 \box\@tempboxa \mbox{}
57 \ifx \@oddhead\@empty\else
58 % \rule{\headetextwidth}{0.5pt}
63 \baselineskip \footskip
68 \let \index \@gobble %% 22 Feb 87
69 \let \glossary \@gobble %% 21 Jun 91
75 \global \@colht \textheight
77 \let\firstmark\botmark
80 \def\@makechapterhead#1{\gnuspagechapter{#1}}
82 \setcounter{tocdepth}{3}
83 \setcounter{secnumdepth}{3}
85 \def\verbatim@font{\fontfamily{bcr}\fontsize{10pt}{10}\selectfont}