如何更改 Linux Mint 12 上 Gnome 3 上部面板中的图标大小和填充？

Question

我正在尝试个性化运行 Gnome 3 的 Linux Mint 12 中的桌面界面。我刚刚禁用了底部面板，并更改了上部面板中的字体。如何更改上部面板的图标大小和填充？

修改PANEL_ICON_SIZE设置/usr/share/gnome-shell/js/ui/panel.js会导致系统冻结并且上部面板消失。