On Tue, Jan 18, 2005 at 11:34:37AM -0500, Matej Cepl wrote: > Helge Hafting wrote: > > you may want to redefine some font commands like \normalfont which are > > implicitly used from time to time. > > You really do not want to redefine \normalfont!!! You're right, not just to use some other font. I redefined \normalfont because I also needed a different size. (10.5 pt)
Helge Hafting
