Como eu altero o tamanho do ícone e o preenchimento no painel superior do Gnome 3 no Linux Mint 12?

Question

Estou tentando personalizar a interface da área de trabalho no Linux Mint 12 executando o Gnome 3. Desativei o painel inferior e alterei a fonte no painel superior. Como faço para alterar o tamanho e o preenchimento do ícone do painel superior?

Modificar a configuração PANEL_ICON_SIZE em /usr/share/gnome-shell/js/ui/panel.js faz com que o sistema congele e o painel superior desapareça.