Um bom truque aqui é jogar com o GTK dpi:
-
Fator de dpi duplo:
gsettings set org.gnome.desktop.interface text-scaling-factor 2.0
-
Inicie o Firefox
-
Altere o fator de dpi para trás, para que ele não afete outros aplicativos:
gsettings set org.gnome.desktop.interface text-scaling-factor 1.0
Você pode criar um script para isso ou um lançador de área de trabalho. (Você pode usar qualquer número float como 1.5, 3.5 ...)
Referência: ArchLinux: Aplicativos & amp; Ambientes de desktop: Gnome3 e DPI