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