Does anyone know how to customize the size of the gnome panel (at the bottom of the screen) (I use Debian potato 2.2r4). In Red Hat there is an option avaible by right clicking on the panel by I see nothing similar here.