23 Jul
2012
23 Jul
'12
11:09 a.m.
On Mon, Jul 23 2012, Wolfgang Schuster wrote:
No, you change the font size with
\usemodule[simplefonts][size=…]
*before* you set the fonts or with
\setupsimplefonts[size=…]
before *and* after you have set the fonts and with
\setupbodyfont[…]
*after* you have set the fonts.
Thanks. So I guess, the conclusion is, that \setmainfont[...][size=...] is deprecated. -- Peter