Perchè? 😯
Ti ho detto che le parole chiave adesso sono in blu e in grassetto!
Sì, il carattere è leggermente diverso, ma mi va bene, dunque perchè non avrei risolto?
\texttt lo uso durante il testo e anche parecchio, ma che c’entra? Quell’impostazione non coinvolge solo i listati?
Forse il Courier è obsoleto e devo ricercare sempre la compatibilità con questo fantomatico Computer Modern?
Courier non è obsoleto (ma è bruttino). Né CM Typewriter è la quintessenza del carattere da macchina per scrivere. Il problema è la coesistenza fra due tipi di carattere molto diversi tra loro (non “leggermente”) per indicare cose uguali. Ma il documento è tuo, fa’ pure come credi. 😕
La parola “grassetto” in tipografia non si usa; si preferisce “neretto” o “nero” (che propriamente indicano gradazioni leggermente diverse fra loro).
Ciao
Enrico