after latest [Stable Update] 2019-03-29 there is some minor icon problem in my gnome status menu. It’s not a big deal, but I was curious about what is the cause of it and how it could be solved. Hopefully this is the right place to ask a question like this.
The icon of the user in the gnome status menu is much too big:
I am currently using papirus-adapta-maia icons with the adapta-maia theme. This was the standard of my installation back then and I think it came from this repos:
I tried out changing back the theme and icons to gnome default (Adwaita) as I my first guess was some styling issue in my installed gtk-theme.
Unfortunately this didn’t change anything.
Now my questions are:
- Where can I find the *.css file for this menu? Due to my theme change it cannot be the theme.css for adapta or adwaita right? Is there any other parent theme?
- If there is such a parent theme, is it possible that somewhere in this theme there is a wrong font size for that icon? If so, why wasn’t it updated ?