diff options
| author | Guido van Rossum <guido@python.org> | 1995-03-28 13:32:57 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1995-03-28 13:32:57 (GMT) |
| commit | adb6bf65d13ad55f0e3b862cf49a03c6f2d8a879 (patch) | |
| tree | fec2eee30dfbc2475bd814810bcbc5512471adf8 | |
| parent | 84099363ef503ab1ec21f3b3dc933ad82b5ed1f1 (diff) | |
| download | cpython-adb6bf65d13ad55f0e3b862cf49a03c6f2d8a879.zip cpython-adb6bf65d13ad55f0e3b862cf49a03c6f2d8a879.tar.gz cpython-adb6bf65d13ad55f0e3b862cf49a03c6f2d8a879.tar.bz2 | |
add input time.sty; don't fiddle with sidemargins
| -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 |