Cambiar tamaño del panel

Hola Ubunteros!

Alguno sabe como cambiar el tamaño del panel de Gnome Shell? tal parece no hay opción, por lo que toca hacerlo desde algún archivo de configuración