Find a way to allow font-size adjustment in m[c/x]gui

[willend]

On some systems (e.g. Jupyter/vnc-desktop instances on e-learning.pan-training.eu) the gui takes up a lot of real-estate.

Find a way to allow resize via font scaling.