Re: l’ambiente verbatim e la dimensione del font

Pacchetto listings, e’ veramente eccellente.
`\lstset{basicstyle=\small} `
Se cerchi sul forum trovi subito degli esempi che fanno al caso tuo.

Ciao,
L.