Default to Menlo font, for now.