Para el final, la línea "
nav.bar.height=70", le cambias el valor por el que te interese, teniendo en cuenta que el tamaño real es la mitad del que pongas. Por defecto está en 70, que se traducen en 35 pixels. Luego guardar los cambios, reiniciar y listo
