UI setting to customize the console and terminal font.
### Feature Description

 On Mac OS in Safari the font is very blurry, therefore it would be great if there was a setting to customize the font settings.