::
Ciao a tutti, sarebbe possibile ottenere un font per i caratteri più piccolo di quello definito da: basicstyle=\small\ttfamily
Al posto di \small mettici un’altra dichiarazione, ad esempio \footnotesize. Ma non te lo consiglio, così viene troppo piccolo.
Ciao,
L.
