Comment réduire la graisse de la barre de titre Ubuntu GNOME?

Auparavant, les barres de titre pour Windows étaient beaucoup plus fines qu'elles ne le sont maintenant sur Ubuntu GNOME 16.04.1 avec GNOME 3.20. Pourquoi est-ce et comment puis-je changer cela? J'ai aimé le look slim que j'ai obtenu avec le numix-gtk-theme, mais pour une raison quelconque, je n'ai plus ce look slim. Pas avec aucun thème.

Voici à quel point c'est gras:

Vous voyez cette barre de titre plus grasse parce que vous utilisez Gnome-Shell. Dans Gnome-Shell, les barres de titre du thème Numix sont beaucoup plus grosses que les versions pour Unity.

Vérifiez ces deux images

1. Unité

   

2. Coquille de gnome

   

Pour réduire le gras de la barre de titre

Pour réduire cette graisse, suivez ces étapes

1. Créez un fichier ~/.config/gtk-3.0/gtk.cssavec ces contenus

.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. Déconnectez-vous et reconnectez-vous.

   Une capture d'écran de la session gnome-shell après le changement

   

Cependant, il est rapporté que ce réglage ne fonctionne pas parfois pour GNOME 3.20. Pour y remédier, vous aurez peut-être besoin de la solution de cette question

• Comment changer la hauteur de la barre de titre dans les applications GTK standard et celles avec des écouteurs / CSD sur Gnome 3.20

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