Размер верхней панели в gnome

[eandrewk]

можно ли сделать верхнюю панель поменьше?

[scorpp13]

> Ubuntu-like Panel