Re: [NTG-context] \setuptyping: font size