enhancementhelp wanted
描述
Currently font size is a global setting. We should allow it to be set per-view.
I'm not entirely prepared to think through all the implications of this. Some of them are detailed in #989.
This is definitely a "start exploring" sort of issue. 😁