Alguien sabe como personalizar la barra de titulo de las aplicaciones en gnome, es que tiene mucha altura y no me cuadra. Soy nuevo en gnome.