On 2016-02-02 23:11, Brad Rogers wrote: >> Iirc, that changes fonts only in the displayed page, not in the >> menus, dialogs, etc.
Not true. It does exactly what you need, everywhere. > However, the Mozilla site tells me it's not compatible with my OS > which is odd, given that it's being suggested for a Debian > GNU/Linux user. I've been using it for years and still am without the slightest problem. Testing here, so quite up-to-date versions of everything. Just try it. HTH, ändu