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

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 22d7ad46cf270abb5e88e2cf7bca10bda8244996..55fe0470923129e7119e9dff1e28454fc3fe086a 100644 (file)
--- 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