Is there a way to change the height of the titlebar in gnome-shell?
As it's currently too big for my taste, I'd like to make it a bit smaller.
Some themes get it right, but I don't know exactly where to look. I can only assume it may be css/js related.
GNOME Shell version is
3.16.4 and I am running Ubuntu.
This doesn't help: How do I resize GNOME shell top bar. Wouldn't expect it either, but might have given me a direction...