На самом деле, часть кода, которую я нашел на reddit и опубликовал выше, а именно
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 2px; /* same as headerbar side padding for nicer proportions */
margin-bottom: 2px;
}
DOES изменяет headerbars/CSDs. Однако эффект не является немедленным. Даже если вы перезагрузите gnome, вам может понадобиться закрыть все окна, подождать некоторое время или выйти из системы и снова войти, чтобы увидеть эффект.
Я все еще не вижу никакой разницы в строке заголовка при изменении следующих параметров.
headerbar {
min-height: 38px;
padding-left: 2px; /* same as children's vertical margins for nicer proportions */
padding-right: 2px;
}
Две секции для обычных панелей заголовков окон работают как ожидалось.
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size */
padding: 2px
}
.default-decoration .titlebutton {
min-height: 26px; /* tweak these two props to reduce button size */
min-width: 26px;
}
Вы можете использовать следующее, чтобы удалить границу панели заголовков, если вы используете тему adwaita по умолчанию. От https://bbs.archlinux.org/viewtopic.php?id=211102
window.ssd headerbar.titlebar {
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);
}