Here some hacks that I found:
Dim the title bar
Create ~/.config/gtk-3.0/gtk.css with the following content and restart the
shell.
.header-bar.default-decoration {padding-top: 3px;padding-bottom: 3px;}
.header-bar.default-decoration .button.titlebutton {padding-top:
2px;padding-
Hello,
Please let me know if I should address this question to another list.
I recently discovered Lollypop music player - a very neat one - and now I'm
intrigued if there's a way to make the top part of the windows frame
thinner as shown in Lollypop's screenshots:
https://gnumdk.github.io/lollyp
