Buenas! Alguien sabe como cambiar el tamaño de las fuentes de 100 a 75? en las aplicaciones que usan gtk las fuentes se ven enormes! Un saludo y gracias. Alvaro.