Respuestas:
Aquí están las configuraciones de fuente predeterminadas para Mac OS X
como lo muestra la utilidad Bresink TinkerTool . TinkerTool también permite al usuario cambiar estos valores predeterminados, dentro de ciertos parámetros, como se explica en la captura de pantalla. Estoy publicando esta captura de pantalla aquí porque proporciona una buena tabla de todas las fuentes y tamaños y cómo los usa Mac OS X.
La fuente predeterminada del sistema en OS X es Lucida Grande, a continuación se muestra una captura de pantalla que compara una ventana TextEdit y Finder. Además, este artículo de Wikipedia describe todas las fuentes incluidas con Mac OS X 10.7 y señala que Lucida Grande es la fuente principal predeterminada del sistema.
En respuesta a mockman: Quick Look aplica el mismo estilo que verías al abrir el archivo html en Safari. Como cualquier navegador, Safari tiene un conjunto de reglas CSS predeterminadas que definen cómo se representa el contenido sin estilo. El tipo de letra que ves entonces probablemente se deriva de Safari / webkit, y no de OS X.
(Todavía soy nuevo aquí, así que no estoy seguro de si es apropiado responder a las preguntas planteadas fuera de la pregunta original, que ahora ha sido respondida. Por favor, siéntase libre de eliminar esta publicación y / o aclararme si es necesario .)
Sé que esta pregunta es antigua, pero para las personas que vienen del futuro (como yo): la fuente actual del sistema macOS (desde 10.10) es San Francisco .