On Tue, 2 Feb 2016, Andreas Weber wrote:
https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/
is maybe what you've been looking for.
Iirc, that changes fonts only in the displayed page, not in the menus, dialogs, etc.
Best, -- Bob Bernstein
