Как я изменяю главный шрифт панели в GNOME 3.30.1?
Я отчаянно пытаюсь изменить шрифт своей главной панели, но редактирую гнома-shell.css в своей в настоящее время устанавливаемой теме (Canta-dark-square), не работает так или иначе. Моя .themes папка находится в /home/my_name/ каталог.
Что я делаю неправильно?
2
задан clearkimura
10 October 2019 в 12:44
поделиться
1 ответ
сделать весь главный размер объектов панели:
измените содержание в своем файле гнома-shell.css под .themes папкой как ниже, поместите любое значение для Вашего предпочтительного размера шрифта.
/* TOP BAR */
#panel {
background-color: rgba(39, 42, 42, 0.85);
/* transition from solid to transparent */
transition-duration: 250ms;
font-weight: bold;
height: 2em;
font-size: 10px;
}
2
ответ дан PRATAP
2 December 2019 в 03:29
поделиться