Tag gnome window title bar too high

How to make Gnome 42 windows title bar smaller By default, the Gnome window title bar is too high. This tutorial will show you how to…