Réponses:
Voici les paramètres de police par défaut pour Mac OS X
comme indiqué par l' utilitaire Bresink TinkerTool . TinkerTool permet également à l'utilisateur de modifier ces valeurs par défaut, dans certains paramètres, comme expliqué dans la capture d'écran. Je poste cette capture d'écran ici car elle fournit un joli tableau de toutes les polices et tailles et de la façon dont Mac OS X les utilise.
La police système par défaut sous OS X est Lucida Grande, ci-dessous est une capture d'écran qui compare une fenêtre TextEdit et le Finder. En outre, cet article Wikipedia décrit toutes les polices incluses avec Mac OS X 10.7 et note que Lucida Grande est la police système principale par défaut.
En réponse à mockman: Quick Look applique le même style que vous verriez en ouvrant le fichier html dans Safari. Comme tout navigateur, Safari dispose d'un ensemble de règles CSS par défaut qui définissent la façon dont le contenu sans style est rendu. La police que vous voyez alors est probablement dérivée de Safari / webkit - et non d'OS X.
(Je suis encore nouveau ici, donc je ne sais pas s'il est approprié de répondre aux questions posées en dehors de la question d'origine - qui a maintenant été répondue. N'hésitez pas à supprimer ce message et / ou à me redresser si besoin est .)
Je sais que cette question est ancienne, mais pour les personnes venant du futur (comme moi): la police système macOS actuelle (depuis 10.10) est San Francisco .