Change font size in Scripting Terminal?

Is it possible to change the font size in the scripting terminal?

I’ve got quite a small but quite high res screen on my laptop and I have to squint like crazy to see what’s going on in that terminal.

Whilst we’re at it is it possible to use a different terminal to get at lua output? have it logged to a file or something?

Cheers,
Tris

It doesn’t seem a custom adjustable option.
Though i think adding a solution like control/command + scrollwheel option to enlarge or shrink the font sizes (like Browsers do) would suffice.

+1 for the suggestions in top post