Как уменьшить размер крупной строки заголовка, margin/padding в 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.