Ubuntu 18.04: Как настроить начертание и размер шрифта в Dash для расширения панели? [дубликат]

Расширение Dash to Panel Gnome Shell просто придерживается стиля, определенного в используемой теме Gnome Shell. Поэтому расширение не предлагает опций для настройки внешнего вида. Чтобы изменить внешний вид, вы можете попробовать найти другую тему оболочки Gnome на свой вкус. Однако, если вы хотите точно контролировать только настройки шрифта, то единственный способ - это напрямую редактировать таблицу стилей вашей темы оболочки Gnome. Эти таблицы стилей используют тот же синтаксис, что и для веб-страниц. Смотрите этот ответ Ubuntu , чтобы узнать, как вы можете найти и отредактировать соответствующие файлы стилей.