29 Luglio 2008 alle 16:03
#25757
::
Mi rispondo in parte da solo: nell’elenco delle keyword che vengono accettate da listing, ce ne sono alcune che servono ad impostare lo stile generale e particolare del testo, ad esempio:
`basicstyle`
Se a questa keyword viene impostata una sequenza del tipo
`basicstyle=\footnotesize\ttfamily`
si ottiene un carattere tipo typewriter leggermente più piccolo del testo normale.
Adesso vedo se trovo qualche font migliore.
Andrea