Request: Add option to change font for the console

I’m not sure why we need to mix 2 fonts.
I’m ok to find a mono fonts that could work for both languages. But this font must be free and open-source.