Respostas:
Aqui estão as configurações de fonte padrão para o Mac OS X
conforme exibido pelo utilitário Bresink TinkerTool . O TinkerTool também permite que o usuário altere esses padrões, dentro de certos parâmetros, conforme explicado na captura de tela. Estou postando esta captura de tela aqui porque fornece um bom gráfico de todas as fontes e tamanhos e como o Mac OS X as usa.
A fonte padrão do sistema no OS X é Lucida Grande, abaixo está uma captura de tela que compara uma janela do TextEdit e o Finder. Além disso, este artigo da Wikipedia descreve todas as fontes incluídas no Mac OS X 10.7 e observa que Lucida Grande é a fonte principal do sistema padrão.
Em resposta ao mockman: Quick Look aplica o mesmo estilo que você veria abrindo o arquivo html no Safari. Como qualquer navegador, o Safari possui um conjunto de regras CSS padrão que definem como o conteúdo sem estilo é renderizado. O tipo de letra que você está vendo, provavelmente é derivado do Safari / webkit - e não do OS X.
(Ainda sou novo aqui, por isso não tenho certeza se é apropriado responder a perguntas feitas fora da pergunta original - que já foi respondida. Sinta-se à vontade para remover esta postagem e / ou me esclarecer se necessário. .)
Sei que essa pergunta é antiga, mas para as pessoas que vêm do futuro (como eu): a fonte atual do sistema macOS (desde 10.10) é São Francisco .