Gruppo Utilizzatori Italiani di TeX
…senza parole…
li avevo aggiunti in prima istanza solo che nei vari test devo aver tagliato per sbaglio:
basicstyle=\small\ttfamily
per cui credevo di aver già impostato il settaggio e che mancasse ancora qualcosa.
Chiedo venia 😳
