¿Cómo reducir la gordura de la barra de título de Ubuntu GNOME?

Anteriormente, las barras de título para Windows eran mucho más delgadas que ahora en Ubuntu GNOME 16.04.1 con GNOME 3.20. ¿Por qué es esto y cómo puedo cambiar esto? Me gustó el aspecto delgado que obtuve con el numix-gtk-theme, pero por alguna razón ya no tengo ese aspecto delgado. No con ningún tema.

Así de gordo es:

Estás viendo esta barra de título más gruesa porque estás usando Gnome-Shell. En Gnome-Shell, las barras de título del tema Numix son mucho más gordas que las versiones para Unity.

Mira estas dos imágenes

1. Unidad

   

2. Shell de gnomo

   

Para reducir la gordura de la barra de título

Para reducir esta gordura, sigue estos pasos

1. Crea un archivo ~/.config/gtk-3.0/gtk.csscon estos contenidos

.header-bar.default-decoration {
    padding-top: 4px;
    padding-bottom: 4px;
    }

.header-bar.default-decoration .button.titlebutton {
    padding-top: 4px;
    padding-bottom: 4px;
}

/* No line below the title bar */
.ssd .titlebar {
    border-width: 2px;
    box-shadow: none;
}

2. Cierre sesión y vuelva a iniciar sesión.

   Una captura de pantalla de la sesión de gnome-shell después del cambio

   

Sin embargo, se informa que este ajuste no funciona para GNOME 3.20 a veces. Para abordar eso, es posible que necesite la solución de esta pregunta

• 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

^{Fuente: /unix/257163/reduce-title-bar-height-in-gnome-3-gtk-3}