diff options
| -rw-r--r-- | Doc/myformat.sty | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Doc/myformat.sty b/Doc/myformat.sty index 22d7ad4..55fe047 100644 --- a/Doc/myformat.sty +++ b/Doc/myformat.sty @@ -1,10 +1,11 @@ % Style parameters and macros used by most documents here \input{a4wide.sty} % Take this out if it doesn't exist or doesn't work +\input{times.sty} % And this (at CWI, this uses PostScript fonts) % This has to be tuned each time the repair person takes the printer apart: -\addtolength{\oddsidemargin}{-2.5mm} -\addtolength{\evensidemargin}{-2.5mm} +%\addtolength{\oddsidemargin}{-2.5mm} +%\addtolength{\evensidemargin}{-2.5mm} % Style parameters \raggedbottom |