How to modify a gnome shell theme

comparison of the top bar, before and after

This is (I think) the correct way of doing what I tried to do with an extension. My objective was to reduce a bit the size of the gnome shell top bar, and especially the font size.

The correct way is to use a “user” theme. What I did is to create […]