Per modificare il tipo di font in un documento HTML tramite CSS, si utilizza la proprietà `font-family`. Questa proprietà permette di specificare uno o più tipi di carattere da applicare al testo di un elemento. Quando si definisce `font-family`, è consigliabile elencare più font separati da virgole, creando così uno “stack” di font. Questo approccio consente di avere alternative qualora il browser non supporti il primo font elencato. Ad esempio, `font-family: Arial, Helvetica, sans-serif;` specifica che il testo dovrebbe usare Arial come primo font, ma se non è disponibile, verrà utilizzato Helvetica, e come ulteriore risorsa, un font generico sans-serif. È importante includere sempre un tipo di font generico come sans-serif, serif o monospace, per garantire un’ampia compatibilità tra i vari dispositivi e sistemi operativi. Inoltre, con l’utilizzo dei font web, puoi incorporare font da servizi esterni come Google Fonts, ampliando ulteriormente le possibilità tipografiche del tuo progetto.