Con TextWrangler (html editor) sono riuscito a modificare anche la font.

Grazie dell'aiuto, ciao e buona giornata.