https://stackoverflow.com/questions/36869701/decrease-the-tabs-bar-height-in-gnome-terminal
これをもとに調べたら
tab {
min-height: 0;
padding-top: 2px;
padding-bottom: 2px;
}
これを ~/.config/gtk-3.0/gtk.css にかけばいいっぽい。0pxにもできるけど、コンパネとか他のタブのマージンなさすぎて不格好なので、上下に2pxあけた