Suggestion for new feature I would use.

Press Ctrl-A, then have a font increase size / font decrease size button
that would proportionally change all the fonts +-1 size respectfully.

It's hard when you have different size fonts mixed together and you want to
change them all.