Как уменьшить размер заголовка в Gnome3 : Linux

█ 21.05.2017 22:19

Все руки не доходили, а по умолчанию они великоваты.
Все просто, создаем файлик
~/.config/gtk-3.0/gtk.css
и пишем туда

Код:

headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    margin-top: 0px; /* same as headerbar side padding for nicer proportions */
    margin-bottom: 0px;
}

headerbar {
    min-height: 24px;
    padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
    padding-right: 2px;
    margin: 0px; /* same as headerbar side padding for nicer proportions */
    padding: 0px;
  }

█ 30.07.2019 20:17

еще один вариант

Код:

headerbar {
    min-height: 0px;
    padding-left: 2px; 
    padding-right: 2px;
}

headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    margin-top: 0px; 
    margin-bottom: 0px;
}

.default-decoration {
    min-height: 0; 
    padding: 0px;
}

.default-decoration .titlebutton {
    min-height: 0px;
    min-width: 0px;
}

window.ssd headerbar.titlebar {
    padding-top: 1px;
    padding-bottom: 1px;
    min-height: 0;
}

window.ssd headerbar.titlebar button.titlebutton {
    padding-top: 1px;
    padding-bottom:1px;
    min-height: 0;
}