Sure. I missed that. It's getting late so I'll do it tomorrow. Meanwhile you can add custom css rule in settings and override the default font.

Second this. It showed up as Times and I almost dismissed it entirely.

May I suggest 'Menlo' as a backup?