Re: Colorare con listing

Altra cosa: come faccio a rimpicciolire i caratteri e cambiare font? Non l’ho trovato nella documentazione, magari ho guardato male…..

`\lstset{basicstyle=\scriptsize}`