Voici un article que j’aurais dû écrire il y a longtemps (n’utilisant plus Gnome Shell) mais malgré tous si un jour Gnome redevient intéressant, il peut toujours être bon d’avoir l’information. Le thème de base livré avec Gnome 3 présente un menu d’application avec des icônes incroyablement grosses à mon goût.

Il est parfaitement possible de diminuer cette taille en modifiant les valeurs .icon-grid et .all-app .icon-grid dans le fichier /usr/share/gnome-shell/theme/gnome-shell.css.

On peut trouver un exemple de modification et bien d’autres astuces élémentaires sur Gnome 3 sur l’article dédié de Tux-planet.