Re: Grassetto di default per un solo font

No scusa, funzionano entrambe.
SOlo che ho dovuto aggiungere anche \bfseries a listings
Prima non me n’ero accorto.

Grazie
M