Cómo cambiar la altura de la barra de título en aplicaciones GTK estándar y aquellas con barras de encabezado / CSD en Gnome 3.20
En Gnome 3.18, fue posible cambiar la altura barra de título de todas las ventanas cambiando el css en ~/.config/gtk-3.0/gtk.csscomo por reducir la altura de la barra de título en GNOME 3 / GTK + 3 . .header-bar.default-decoration { padding-top: 0px; padding-bottom: 0px;