Panel height adjustment

Is there a way or extension I can use to adjust the panel height? I want to make the panel height a little thinner.

1 Like

Try JustPerfection.

https://extensions.gnome.org/extension/3843/just-perfection/

2 Likes