como reduzir a altura da barra de cabeçalho no gnome 3.18?

Question

$ gnome-shell --version                                                
GNOME Shell 3.18.5

$ dpkg -s libgtk-3-0                                                       
Version: 3.18.9-1ubuntu3.3

barra de cabeçalho

Eu tentei isso, mas não estava funcionando: Reduza a altura da barra de título no gnome 3 / gtk + 3