[picoto]

Es posible cambiar el font sin tener que instalar un theme entero?

Y cambiar el color de las barras de menu del wm?

Me pareció ver alguna aplicación que lo hacía, pero llevo 1 hora buscando y no la encuentro, quizás lo soñe....