Heh, I made my own window borders (yay for customizability!), which are slightly chonky but still half of GNOME's.

https://i.imgur.com/XcZvanv.png

(Burnt yellow is my current system accent color, the borders adapt to the setting)