Re: gnome-shell-list Digest, Vol 72, Issue 3

[zhh zhou <zhouzhh217 gmail com>]

Thanks for your reply, I have seen the blog but did not find where I need to modify. I will try other ways, thanks very much anyway.

Re: modify the height of head bar (BrainStorm Trooper)

I believe that things like tabs and the new header bars are controlled
by the GTK3 theme and not the Gnome-shell theme.
You may want to look here:
http://blogs.gnome.org/mclasen/2014/05/06/tweaking-a-the-gtk-theme-using-css/