From adb6bf65d13ad55f0e3b862cf49a03c6f2d8a879 Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Tue, 28 Mar 1995 13:32:57 +0000
Subject: add input time.sty; don't fiddle with sidemargins

---
 Doc/myformat.sty | 5 +++--
 1 file 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
-- 
cgit v0.12

