[NTG-context] Making font smaller in \starttyping environment?