helm/papers/matita/klut10.clo

   1 %
   2 %
   3 \ifcat a\noexpand @\let\next\relax\else \def\next{%
   4 \documentclass[10pt]{kluwer}\usepackage{doc}\MakePercentIgnore}\fi\next
   5 \NeedsTeXFormat{LaTeX2e}
   6 \def\filedate{1998/02/11}
   7 \def\filename{klut10.clo}
   8 %\DoNotIndex{\@M,\def,\c@secnumdepth,\baselineskip,\p@,\else,\fi}
   9 %\DoNotIndex{\newcommand,\z@,\relax,\renewcommand,\ifnum,\csname,\endcsname}
  10 %\DoNotIndex{\baselineskip,\vskip,\hskip,\relax,\secdef,\refstepcounter}
  11 %\DoNotIndex{\setlength,\@plus,\@minus,\protect,\endinput}
  12 %\CodelineIndex
  13 %\newcommand{\Bs}{}
  14 %\parindent=0pt
  15 %\parskip=3pt
  16 %\setlength\marginparwidth{.5in}
  17 %\hfuzz=11pt
  18 %\MakeShortVerb{\|}
  19 %\addtolength{\textwidth}{4pc}
  20 %\begin{document}
  21 %\begin{opening}
  22 %\title{\filename}
  23 %\runningtitle{\filename\ -- \filedate}
  24 %\date{\filedate}
  25 %\author{Kluwer Academic Publishers}
  26 %\runningauthor{Kluwer Academic Publishers}
  27 %\institute{~}
  28 %\begin{abstract}
  29 % This internal file takes care of list definitions and `general'
  30 % point size options. This is a the `tight' file.
  31 %\end{abstract}
  32 %\end{opening}
  33 %\tableofcontents
  34 %\newpage\section{Implementation}
  35 %    \begin{macrocode}
  36 \ProvidesFile{klut10.clo}[\filedate ]
  37 %    \end{macrocode}
  38 % \subsection{Section size commands}
  39 % added command: |\little|. This between |\scriptsize| and
  40 % |\tiny|. Allowed type provided values:  5/6, 6/7, 7/8, 8/9, 9/10.5,
  41 % 10/11.5, 12/14, 14/18, 17/22, 20/25, 25/30.
  42 %    \begin{macrocode}
  43 \renewcommand\normalsize{%
  44    \@setfontsize\normalsize\@xpt{11.5}%
  45    \abovedisplayskip 10\p@ \@plus 2\p@ \@minus5\p@
  46    \abovedisplayshortskip \z@ \@plus 3\p@
  47    \belowdisplayshortskip 6\p@ \@plus 3\p@ \@minus3\p@
  48    \belowdisplayskip \abovedisplayskip
  49    \let\@listi\@listI}
  50 \normalsize
  51 \newcommand\small{%
  52    \@setfontsize\small\@ixpt{10.5}%
  53    \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
  54    \abovedisplayshortskip \z@ \@plus2\p@
  55    \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
  56    \def\@listi{\leftmargin\leftmargini
  57                \topsep 4\p@ \@plus2\p@ \@minus2\p@
  58                \parsep 2\p@ \@plus\p@ \@minus\p@
  59                \itemsep \parsep}%
  60    \belowdisplayskip \abovedisplayskip
  61 }
  62 \newcommand\footnotesize{%
  63    \@setfontsize\footnotesize\@viiipt{9}%
  64    \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@
  65    \abovedisplayshortskip \z@ \@plus\p@
  66    \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@
  67    \def\@listi{\leftmargin\leftmargini
  68                \topsep 3\p@ \@plus\p@ \@minus\p@
  69                \parsep 2\p@ \@plus\p@ \@minus\p@
  70                \itemsep \parsep}%
  71    \belowdisplayskip \abovedisplayskip
  72 }
  73 \newcommand\scriptsize{\@setfontsize\scriptsize\@viipt\@viiipt}
  74 \newcommand\little{\@setfontsize\little\@vipt\@viipt}
  75 \newcommand\tiny{\@setfontsize\tiny\@vpt\@vipt}
  76 \newcommand\large{\@setfontsize\large\@xiipt{14}}
  77 \newcommand\Large{\@setfontsize\Large\@xivpt{18}}
  78 \newcommand\LARGE{\@setfontsize\LARGE\@xviipt{22}}
  79 \newcommand\huge{\@setfontsize\huge\@xxpt{25}}
  80 \newcommand\Huge{\@setfontsize\Huge\@xxvpt{30}}
  81 %    \end{macrocode}
  82 % \subsection{Various values}
  83 % Note that |\hoffset| and |\voffset| are both compensated. This makes
  84 % the calculations below easier.
  85 %    \begin{macrocode}
  86 \setlength\hoffset{-1in}
  87 \setlength\voffset{-1in}
  88 \setlength\parindent {14\p@}
  89 \setlength\headheight{12\p@}
  90 \setlength\headsep   {12\p@}
  91 \setlength\topskip   {10\p@}
  92 \setlength\footskip  {27.5\p@}
  93 \setlength\marginparsep{10pt}
  94 \setlength\marginparpush{5\p@}
  95 \setlength\maxdepth  {.5\topskip}
  96 \setlength\@maxdepth\maxdepth
  97 \setlength\columnsep{10pt}
  98 \setlength\columnseprule{0pt}
  99 \setlength\fboxsep{3pt}
 100 \setlength\fboxrule{.4pt}
 101 %    \end{macrocode}
 102 % \subsection{Textheight and textwidth}
 103 % These are the main reason for the existence of these files. For some
 104 % stupid reason, \LaTeX\ calculates textwidth out of |\paperwidth|. We
 105 % did want to support letter paper, but our |\textwidth| is fixed,
 106 % with the margins being calculated.
 107 %
 108 % Presume |\textwidth| and |\marginparwidth| are set in the stylefile,
 109 % or we're in trouble. The |2pc| value is used to
 110 % compensate for the `dead' corners in most laserprinters.
 111 %
 112 % Calculations are done `AtBeginDocument' to allow changes made in the
 113 % preamble and later on in the stylefile.
 114 %    \begin{macrocode}
 115 \newdimen\id@boxheight
 116 \AtBeginDocument{%
 117   \setlength\@tempdima{\paperwidth}%
 118   \addtolength\@tempdima{-\textwidth}%
 119   \divide\@tempdima by 2
 120   \setlength\@tempdimb\marginparwidth
 121   \addtolength\@tempdimb\marginparsep
 122   \addtolength\@tempdimb{2pc}%
 123   \ifdim \@tempdima <\@tempdimb
 124      \@settopoint\@tempdimb
 125      \GenericError{Pointsize}{Pointsize Error: Marginpars disabled}{}{You made
 126       your \string\textwidth\space (\the\textwidth) and
 127       \string\marginparwidth (\the\marginparwidth) too wide.\MessageBreak
 128       The allowed value for margin space: (\the\@tempdima). Needed value:
 129       (\the\@tempdimb).\MessageBreak
 130       This is not enough,
 131       so I will set \string\marginparwidth\space  to 0pt.\MessageBreak
 132       Let's hope that fixes it.
 133      }%
 134      \marginparwidth \z@
 135      \marginparsep \z@
 136   \fi
 137   \ifdim \@tempdima <2pc
 138      \@tempdimb=\paperwidth
 139      \advance\@tempdimb by -4pc
 140      \@settopoint\@tempdimb
 141      \GenericError{Pointsize}{Pointsize Error: Invalid sizes given}{}{You
 142      made your \string\textwidth\space (\the\textwidth)
 143      wider than the available total\MessageBreak
 144      (Which is: \the\@tempdimb). Please press X and try again.
 145      }%
 146   \fi
 147   \oddsidemargin \@tempdima
 148   \evensidemargin \@tempdima
 149 %    \end{macrocode}
 150 % These calculations are a lot easier.
 151 % |\textheight| should have been set already. This does not check for the
 152 % correct placement of the identification line!!
 153 %    \begin{macrocode}
 154   \setlength\@tempdima{\paperheight}
 155   \addtolength\@tempdima{-\footskip}
 156   \addtolength\@tempdima{-\headheight}
 157   \addtolength\@tempdima{-\headsep}
 158   \setlength\@tempdimb{\@tempdima}
 159   \addtolength\@tempdima{-\textheight}
 160   \divide\@tempdima by 2
 161   \ifdim \@tempdima <2pc
 162   \advance\@tempdimb by -4pc
 163   \@settopoint\@tempdimb
 164      \GenericError{Pointsize}{Pointsize Error: Invalid sizes given}{}{You
 165      made your \string\textheight\space (\the\textheight)
 166      more than the available total.\MessageBreak
 167      (Which is: \the\@tempdimb). Please press X and try again.
 168      }%
 169   \fi
 170   \setlength\topmargin{\@tempdima}
 171   \setlength\id@boxheight{\@tempdima}
 172   \advance\id@boxheight by -2pc
 173 }
 174 %    \end{macrocode}
 175 %
 176 %    \begin{macrocode}
 177 \setlength\footnotesep{6.65\p@}
 178 \setlength{\skip\footins}{9\p@ \@plus 4\p@ \@minus 2\p@}
 179 %    \end{macrocode}
 180 % \subsection{Lists}
 181 % List default values
 182 %    \begin{macrocode}
 183 \setlength\partopsep{2\p@ \@plus 1\p@ \@minus 1\p@}
 184 \setlength{\leftmargini}{2em}
 185 \setlength{\leftmarginii}{2.2em}
 186 \setlength{\leftmarginiii}{1.87em}
 187 \setlength{\leftmarginiv}{1.7em}
 188 \setlength{\leftmarginv}{1em}
 189 \setlength{\leftmarginvi}{1em}
 190 \setlength{\labelsep}{.4em}
 191 \setlength{\labelwidth}{\leftmargini}
 192 \addtolength{\labelwidth}{-\labelsep}
 193 %    \end{macrocode}
 194 % Note that lists below level 3 do nothing else then readjusting the
 195 % |\labelwidth|. This results in very small labels for the inner lists.
 196 %    \begin{macrocode}
 197 \def\@listI{%
 198   \leftmargin \leftmargini
 199   \topsep  9\p@ \@plus 3\p@ \@minus 5\p@
 200   \partopsep 3\p@ \@plus 1\p@ \@minus 2\p@
 201   \itemsep 4.5\p@ \@plus 2\p@ \@minus 1\p@
 202   \parsep 4.5\p@ \@plus 2\p@ \@minus 1\p@ }
 203 \def\@listii{%
 204   \leftmargin \leftmarginii
 205   \labelwidth \leftmarginii
 206   \advance\labelwidth by -\labelsep
 207   \topsep 4.5\p@ \@plus 2\p@ \@minus 1\p@
 208   \parsep 2\p@ \@plus 1\p@ \@minus 1\p@
 209   \itemsep \parsep}
 210 \def\@listiii{%
 211   \leftmargin \leftmarginiii
 212   \labelwidth \leftmarginiii
 213   \advance\labelwidth by -\labelsep
 214   \topsep 2\p@ \@plus 1\p@ \@minus 1\p@
 215   \parsep \z@
 216   \partopsep 1\p@ \@plus 0\p@ \@minus 1\p@
 217   \itemsep \topsep}
 218 \def\@listiv{%
 219   \setlength{\leftmargin}{\leftmarginiv}%
 220   \setlength{\labelwidth}{\leftmarginiv}%
 221   \addtolength{\labelwidth}{-\labelsep}}
 222 \def\@listv{%
 223   \setlength{\leftmargin}{\leftmarginv}%
 224   \setlength{\labelwidth}{\leftmarginv}%
 225   \addtolength{\labelwidth}{-\labelsep}}
 226 \def\@listvi{%
 227   \setlength{\leftmargin}{\leftmarginvi}%
 228   \setlength{\labelwidth}{\leftmarginvi}%
 229   \addtolength{\labelwidth}{-\labelsep}}
 230 \let\@listi\@listI
 231 \@listi
 232 %    \end{macrocode}
 233 % \subsection{Float separation parameters}
 234 % Separation on text pages.
 235 %    \begin{macrocode}
 236 \setlength\floatsep{12\p@ \@plus 2\p@ \@minus 2\p@}
 237 \setlength\textfloatsep{20\p@ \@plus 2\p@ \@minus 4\p@}
 238 \setlength\intextsep{12\p@ \@plus 2\p@ \@minus 2\p@}
 239 \setlength\dblfloatsep{12\p@ \@plus 2\p@ \@minus 2\p@}
 240 \setlength\dbltextfloatsep{20\p@ \@plus 2\p@ \@minus 4\p@}
 241 %    \end{macrocode}
 242 % Separation on float pages
 243 %    \begin{macrocode}
 244 \setlength\@fptop{0\p@ \@plus 1fil}
 245 \setlength\@fpsep{8\p@ \@plus 2fil}
 246 \setlength\@fpbot{0\p@ \@plus 1fil}
 247 \setlength\@dblfptop{0\p@ \@plus 1fil}
 248 \setlength\@dblfpsep{8\p@ \@plus 2fil}
 249 \setlength\@dblfpbot{0\p@ \@plus 1fil}
 250
 251 \endinput
 252 %    \end{macrocode}
 253 %\PrintIndex
 254 %\end{document}
 255 %% End of file `klut10.clo'.
 256