Как уменьшить размер массивного поля заголовка / отступа в GNOME
Недавно я сделал обновление с 15.04 до 15.10, и я не верю, что поля были почти такими нелепыми, поэтому мне интересно, возможно, что-то было сброшено / изменено.
Как видите, верхняя панель GNOME имеет нормальный размер, а панель вкладок Firefox также имеет нормальный размер. Тогда чмок в середине - это чудовище строки заголовка, которое примерно вдвое больше, чем должно быть.
Я использую Numix для темы GTK+, которая никогда не выглядела такой раздутой на любой другой машине, на которой я ее использовал. Я попытался уменьшить размер шрифта в строке заголовка, но проблема заключается в полях / заполнении, которое я предполагаю, для которого нет никаких настроек.
2 ответа
Создать или изменить ~/.config/gtk-3.0/gtk.css
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
border: none;
background-image: linear-gradient(to bottom,
shade(@theme_bg_color, 1.05),
shade(@theme_bg_color, 0.99));
box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
Затем перезапустите оболочку GNOME, нажав Alt+F2 и r
как команда.
Источник: http://jadelinux.com/fedoratips/titlebarheight.html
Создать или изменить ~/.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.