Есть ли возможность увеличить размер шрифта и значков в меню в Linux Mint 18.3, без использования коэффициента масштабирования текста в настройках «Шрифты» или увеличения любых других шрифтов, таких как настольные шрифты, я хочу только увеличить шрифты и / или значки внутри меню.