Gruppo Utilizzatori Italiani di TeX
Grazie! Questo è esattamente quello che l’effetto che volevo. Ma scusa, se domani mattina mi sveglio e mi viene voglia di cambiare tema che faccio? Piango in cinese e mi riscrivo il tema? Non c’è una soluzione meno drastica?
