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