Where can I find documentation about the GNOME Shell theme css elements?
For instance, if I want to change the style of the "Activites" which css class/id do I have to tweak?
More in general I'm looking for somethings that maps each gnome shell element to its class / id in the css
Well I still cannot find documentation, however by looking into other themes I could finally find what I was looking for this specific case.
is the style to tweak