On 2016-02-02 00:37, Bob Bernstein wrote: > I know how to tweak font sizes for displayed web pages, but how do I do > that for the apparatus of the browser window itself?
https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer/ is maybe what you've been looking for. HTH, ändu