31 Jan
2003
31 Jan
'03
3:23 p.m.
Hans Hagen
signature) Hans has very likely a much better way to switch to the samller font. Too bad \tfxxx is not avaliable...
Is there any need for an xxx? it's not that hard to implement that (search for !xx in font-ini and you'll see why), but is it worth the overhead?
I sure had a look in font-ini.tex :). There is no real need. But if I know how to get similar results without too many side effects, that would be fine. I have used \setupbodyfont [small] \tfxx in a local group. I just don't know if this is OK or not (side effects, you know :) Patrick