È meglio usare queste grandezze relative al font in uso invece che inserire i valori assoluti. Questo per mantenere una certa coerenza nel caso tu decida di cambiare le dimensioni del carattere a tutto il documento.
quindi i valori sono \tiny \small \footnote e basta? non posso dire 90% o cose del genere? se si come?
Dimentichi \scriptsize. Sinceramente non mi sono mai posto il problema.
Questo problema è dovuto al font Computer Modern che usi che non ha la famiglia macchina da scrivere grassetto
come posso avere un carattere stile quello lì ma che permetta il bold?
Prova:`\usepackage{lmodern}
\usepackage[T1]{fontenc}
`
Penso la via più semplice sia quella di aggiungere keywords nel modo che dici.
ok, questo posso farlo anche se ho uno stile per il codice e quindi devo definire lì le keywords, devo trovare una cosa tricky per sistemarlo.
🙂
LuCa