Как уменьшить размер массивного поля заголовка / отступов в GNOME
Недавно я сделал обновление с 15.04 до 15.10, и я не верю, что поля были почти такими смешными, поэтому мне интересно, возможно ли что-то сброшено / изменено.
[d4 ] Как вы можете видеть, верхняя панель GNOME имеет нормальный размер и amp; панель вкладок Firefox также имеет нормальный размер. Тогда smack dab посередине - это монстра строки заголовка, которая примерно в два раза больше, чем она должна быть.
Я использую Numix для темы GTK +, которая никогда не выглядела такой раздутой на любой другой машине, вы использовали его. Я попытался уменьшить размер шрифта в строке заголовка, но проблема в том, что поля / дополнения, которые я предполагаю, для которых, похоже, не установлены какие-либо настройки.
1
задан muru
1 March 2017 в 11:54
поделиться
1 ответ
Создать или изменить ~/.config/gtk-3.0/gtk.css
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
border: none;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
Затем перезапустить оболочку GNOME с помощью команд Alt + F2 и r.
Дополнительная бит, опущенный из этого ответа, испортил тему Numix.
0
ответ дан Enigma
23 May 2018 в 12:29
поделиться