История изменений

Исправление ~~dima1981~~, 17.02.17 00:03 (текущая версия) :

не знал, но уменьшение рамок существует.

~/.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;
  }

теперь стало еще лучше. https://s16.postimg.org/5euj0kr03/wayland_screenshot.png

Исходная версия ~~dima1981~~, 16.02.17 23:54:

не знал, но уменьшение рамок существует.

~/.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;
  }

теперь стало еще лучше.