Comment by justwalt

Right. It’s been a bit frustrating to see this in Gnome, but at least I can use another theme to shrink things back down a bit.