To edit the default (or current) profile, simply begin editing the fonts.
4. In the Screen Element column, click a screen element to edit, then click the Change Font button.
5. Edit the font for that specific element. There are three settings which can be changed: the font
family, the size, and the formatting (bold or italic).
Changing Console Fonts
17