It's better to use thinner headbar just like gnome-tweaks in several other Gnome apps including gedit.
gnome-tweaks
gedit