Собственно, вопрос кроется в заголовке темы. В предыдущей версии гнома прекрасно работало данное решение (в первом посте ссылка). Теперь же, файл /usr/share/gnome-shell/theme/gnome-shell.css в системе отсутствует. Вместо него, насколько я понял, сделали /usr/share/gnome-shell/theme/gnome-classic.css, однако, после редактирования этого файла, никаких изменений в шрифте системы я не зафиксировал.
Гугление особого толка не дало.
Мой вопрос на askfedoraproject'e удалили, сославшись на то, что вопрос уже был. Вопрос был, но он касался версии 3.14. Какая-то очень странно беспощадная модерация на askfedoraproject'e.
На forums.fedoraforum.org подобный вопрос, касающийся 3.16-го гнома, задавался, но работающего решения в обсуждении я не обнаружил, кроме пространных советов создать свой конфиг.
В общем, какая-то прям безнадёга. Очень скучаю по убунтовским шрифтам 11-14 размеров. Дефолтные шрифты в гноме какие-то вырвиглазно мелкие. Как изменить общесистемно дефолтный шрифт в новом гноме?