Re: Grassetto di default per un solo font

Così però devo modificare tutti i \texttt…
Non c’è modo per reimpostare direttamente il font selezionato?

M