Меню в верхней панели, которое показывает имя приложения, выглядит очень тонким. Я бы хотел сделать его жирным. Как мне это сделать?
Мой gnome-shell.css находится по этой ссылке в Dropbox:
решение1
из gnome-shell.cssфайла, в строке номер 2989, найдите следующее содержимое.
#panel .panel-button {
-natural-hpadding: 8px;
-minimum-hpadding: 8px;
font-weight: bold;
color: white;
transition-duration: 150ms;
border-radius: 6px;
}
В целях тестирования я изменил начертание шрифта на noraml и отредактировал некоторые другие разделы, связанные с действиями.
Поле font-weight отвечает за это, однако я предполагаю, что у вас установлено и включено много расширений. Одно из расширений перезаписывает это. Включайте расширения по одному и выясните, какое расширение вызывает это. Предоставьте ссылку на это расширение для дальнейшего улучшения.