Brinquei com o gnome-shell.css
(/ usr / share / themes / [seu-tema-atual]), depois copiei essa pasta para /home/user/.themes
. No gnome-shell.css há uma seção chamada Apps onde você pode alterar o tamanho da grade na qual os ícones estão alinhados - se você aumentar o tamanho (altere a entrada da grade de contato ver mais.
Eu também tentei descobrir como funcionam os pop-ups, como na barra lateral, mas não consegui encontrar isso. Parece que isso não tem nada a ver com CSS.