Hola Roger,
amb el Gnome-Tweak-Tool es pot canviar el tema i la mida de les fonts.
Potser baixant la mida de les fonts es pot aconseguir una barra més
petita.
unaltre manera a provar de fer-ho seria editar directament el fitxer de
configuració, que per defecte crec que és el Adwaita
/usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
però jo ho veig força complicat
Àlex