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 […]

A Gnome shell extension to change the top panel look

comparison of the top bar, before and after

Notice: this is NOT the best way to achieve this. I have posted a much better way…

This is my first Gnome Shell extension… so that will not be a coding style gem, but it works for me and I think it’s quite useful, so…

The idea is to change the look […]