![](https://secure.gravatar.com/avatar/975566c90c3709ba75c7415e83f9be50.jpg?s=120&d=mm&r=g)
8 Mar
2003
8 Mar
'03
4:54 a.m.
Jens-Uwe Morawski
use rscale=<scale factor>:
\definetypeface[BodyFont][tt][mono][LuxiMono][default] [encoding=ec,rscale=0.9]
This works. Many thanks! Johannes -- Johannes Hüsing There is something fascinating about science. One gets hannes@ruhrau.de such wholesale returns of conjecture from such a trifling investment of fact. Mark Twain