> > what, people use CM fonts for their documentation? yikes. > thats what Times Roman is for..... ;) Mh > > Sebastian > > _______________________________________________ > TeX Live mailing list > http://tug.org/mailman/listinfo/tex-live >