IN WINDOWS: 1. Open the command prompt 2. Right click the header 3. Select: Properties 4. Switch to the "Font" tab 5. Configure your font