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