30 Jan
2003
30 Jan
'03
11:34 a.m.
Hans Hagen
\usetypescript[times][texnansi] \setupbodyfont[times]
This switches to a complete new typescript. But is it possible to change the *tt* only? I think that scaling to 1.1 too big. In my opinion 1.03 fits the times' visual appearence. Strange.. the acrobat reader tells me that the urw times (NimbusRomNo9L-Regu) *and* Times-Roman (substituted by TimesNewRomanPSMT) are used... Patrick