[Athan]

Yes, that’s what I meant, and you’ve already answered my question. I hadn’t noticed that the font (and font size) match to that used in editor.

Thanks, once again!