Ciao, alcuni software che utilizzano gtk, hanno font troppo grandi. In giro per la rete ho trovato che occorre modificare ~/.gtkrc inserendo il font desiderato. Non sembra funzionare. Inoltre ho provato a modificare alcuni file presenti in /etc/gtk, con risulato fallimentare analogo. In debian esiste forse qualche utility per editare i font di gtk, senza passare attraverso l'editing manuale dei file?