16 Dec
2011
16 Dec
'11
1:58 p.m.
Thanks Hans for fixing the other issue! I've just discovered another problem. So far I switched the font in for my headers with the following command \setupheader [style={\ss\switchtobodyfont[10pt]}] this does not work anymore. Is this on purpose or also a bug? Steffen