I'm running Ubuntu Gnome 16.04 on a laptop with low resolution (1366x768). I've been able to adjust most things in Gnome to look much better on this display, but the gnome-terminal tabs seem to elude me. I'd like to be able to make the pixel height a bit smaller to it does not look as ugly (I bet it looks awesome in a high-dpi display)...
I guess something could be added to ~/.config/gtk-3.0/gtk.css like I had to do for the title bar - but I don't know squat about css, and my google-fu does not seem to be yielding any good results.