Font 'Times'

Uso di un nuovo font un po' più marcato di quello di default
http://www.tug.dk/FontCatalogue/times/