From: Guido van Rossum <guido@python.org>
Date: Tue, 28 Mar 1995 13:32:57 +0000 (+0000)
Subject: add input time.sty; don't fiddle with sidemargins
X-Git-Tag: v1.2~57
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=adb6bf65d13ad55f0e3b862cf49a03c6f2d8a879;p=thirdparty%2FPython%2Fcpython.git

add input time.sty; don't fiddle with sidemargins
---

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 22d7ad46cf27..55fe04709231 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