Сделать жирность шрифта верхней панели Gnome жирным шрифтом CSS? - PullRequest
Новая
       42

Сделать жирность шрифта верхней панели Gnome жирным шрифтом CSS?

0 голосов
/ 04 марта 2020

Как сделать жирный шрифт верхнего бара Gnome жирным?

Я нашел источник для gnome-shell. css на GitLab , который описывает #panel как пользовательский интерфейс для целевого объекта.

Я попробовал оба эти CSS свойства на панели: 

#panel {
    font-weight: bold;
    /*font-weight: 700;*/
}

Кажется, ничего не меняется. Если я установлю background-color: red, это изменение фона будет отражено , так что я знаю, что мой CSS файл работает по крайней мере.

Вот скриншот верхнего интерфейса пользователя, который я пытаюсь изменить:

1 Ответ

0 голосов
/ 28 апреля 2020

У меня есть настроенная тема под ~/.themes/MyTheme/gnome-shell/gnome-shell.css. Это работает для меня в Debian 10. Вы также можете попробовать изменить /usr/share/themes/YOUR-THEME/gnome-shell/gnome-shell.css, stage необходимо использовать для селектора CSS. 

stage {
      font-family: Carlito, Ubuntu, Cantarell, Sans-Serif;
      font-weight: bold;
      font-size: 10pt;
      color: #fafafa;
      }
...