Open-bar has to be my favourite Gnome extension in a while
In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed
In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed