すみません、教えてください。
OSXのディスクトップウィンドウの一番上などで使われている文字のフォントはなんですか？