Исправление Zmicier, 23.11.17 14:28 (текущая версия) :
во всех настройках уже поменял все шрифты на нужные
$ cd ~/.mozilla/firefox/*.default/ $ fgrep '"font.' prefs.js
Исходная версия Zmicier, 23.11.17 14:26:
$ cd ~/.mozilla/firefox/*.default/ $ grep '"font.' prefs.js