How to change the global font size?

Hi Frank,

There is also a preference setting where you can choose part if font sizing. Under Interface.

This may or nor be a global effect. But presume it at least works in posts. Have ti try out different modes.