Linux Mint 12의 Gnome 3 상단 패널에서 아이콘 크기와 패딩을 변경하는 방법은 무엇입니까?

Gnome 3을 실행하는 Linux Mint 12에서 데스크톱 인터페이스를 개인화하려고 합니다. 방금 하단 패널을 비활성화하고 상단 패널의 글꼴을 변경했습니다. 상단 패널의 아이콘 크기와 패딩을 변경하는 방법은 무엇입니까?

PANEL_ICON_SIZE설정을 수정하면 /usr/share/gnome-shell/js/ui/panel.js시스템이 정지되고 상단 패널이 사라집니다.