Como emagrecer a gordura da barra de título do Ubuntu GNOME?

Anteriormente, as barras de título para janelas eram muito mais finas do que agora no Ubuntu GNOME 16.04.1 com GNOME 3.20. Por que isso e como posso mudar isso? Gostei do visual esbelto que obtive com o numix-gtk-theme, mas, por algum motivo, não consigo mais esse visual esbelto. Não com nenhum tema.

É assim que a gordura é:

Você está vendo essa barra de título mais gorda porque está usando o Gnome-Shell. No Gnome-Shell, as barras de título do tema Numix são muito mais complexas que as versões do Unity.

Confira essas duas imagens

1. Unidade

   

2. Casca de Gnomo

   

Para reduzir a gordura da barra de título

Para reduzir essa gordura, siga estas etapas

1. Crie um arquivo ~/.config/gtk-3.0/gtk.csscom este conteúdo

.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. Saia e entre novamente.

   Uma captura de tela da sessão gnome-shell após a alteração

   

No entanto, é relatado que esse ajuste não funciona para o GNOME 3.20 às vezes. Para resolver isso, você pode precisar da solução desta pergunta

• Como alterar a altura da barra de título em aplicativos GTK padrão e naqueles com barras de cabeçalho / CSDs no Gnome 3.20

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