Risposte:
Ecco le impostazioni di carattere predefinite per Mac OS X
come visualizzato dall'utilità Bresink TinkerTool . TinkerTool consente inoltre all'utente di modificare questi valori predefiniti, entro determinati parametri, come spiegato nella schermata. Sto pubblicando questa schermata qui perché fornisce una bella tabella di tutti i tipi di carattere e dimensioni e come li utilizza Mac OS X.
Il font di sistema predefinito in OS X è Lucida Grande, di seguito è uno screenshot che confronta una finestra di TextEdit e Finder. Inoltre, questo articolo di Wikipedia descrive tutti i caratteri inclusi in Mac OS X 10.7 e nota che Lucida Grande è il carattere di sistema principale predefinito.
In risposta a mockman: Quick Look applica lo stesso stile che vedresti aprendo il file html in Safari. Come ogni browser, Safari ha una serie di regole CSS predefinite che definiscono il modo in cui viene visualizzato il contenuto non stilizzato. Il carattere tipografico che stai vedendo, quindi, è probabilmente derivato da Safari / webkit e non da OS X.
(Sono ancora nuovo qui, quindi non sono sicuro se sia appropriato rispondere a domande poste al di fuori della domanda originale, a cui è stata data una risposta. Non esitate a rimuovere questo post e / o a chiarirmi se necessario .)
So che questa domanda è vecchia, ma per chi viene dal futuro (come me): l'attuale font del sistema macOS (dal 10.10) è San Francisco .