diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-06 09:57:12 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-06 09:57:12 +0000 |
| commit | 75b04e8499df1d310cc44685c6332f0d40aa5878 (patch) | |
| tree | 2b642b78a8193133c377210120496414deb8c396 /manual/styles | |
| parent | f8567efd6f8717ea7e7b66f3847f19a918e82637 (diff) | |
| download | ocaml-75b04e8499df1d310cc44685c6332f0d40aa5878.tar.gz | |
Cosmetique.
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@9688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/caml-sl.sty | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/manual/styles/caml-sl.sty b/manual/styles/caml-sl.sty index 7797e6287f..1b57fe9555 100644 --- a/manual/styles/caml-sl.sty +++ b/manual/styles/caml-sl.sty @@ -2,13 +2,10 @@ \typeout{Document Style option `caml-sl' <7 Apr 92>.} -\def\@magscale#1{ scaled \magstep #1} -\def\@halfmag{ scaled \magstephalf} - \ifcase\@ptsize \font\sltt = cmsltt10 -\or \font\sltt = cmsltt10 \@halfmag -\or \font\sltt = cmsltt10 \@magscale1 +\or \font\sltt = cmsltt10 scaled \magstephalf +\or \font\sltt = cmsltt10 scaled \magstep1 \fi {\catcode`\^^M=\active % |