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

Doc/myformat.sty

 % 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