Как для третьего гнома (и частности) и для гтк3 (в целом) настроить дефолтный моноширинный шрифт, т.е. выбрать его имя и размер? gnome-tweak-tool выпадает в кору на старте. Подозреваю что есть какие-то проперти цсс для gtk.css, но вот какие именно - нагуглить не получается.