>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.

Tamar