[10:47] <Guest96257> hi! do you know how to make the adwaita title bar smaller?
[11:10] <Paddy_NI> I wonder if there is a way to remove the "Applications" button from the "Simple Dock" extension?