>>Um, yes, I thought of that, but I figured the PEM window would be too small (never found how to change the font there)
>
>Not sure when they added it, but right-click somewhere above or below the tabs in the Property Sheet and Font is one of your options.

It was so small I never noticed it... and surely wasn't looking at it, that popup served only to turn the non-default on/off. But it works! You just made my day, big thanks and... well if you ever come this way, a liter of good, foxer made, brandy is waiting for you.