Compact GTK3 & 4 mod? GTK is nice but too thick. There is a repo containing CSS for GTK3 to be more compact....