If you’re referring to my terminal font, well thanks. Ironically though that’s actually been my default font for a long time. I should consider perhaps changing it. I could have it be different for each theme but that may be too jarring switching between them all the time and also terminal fonts aren’t too different from each other so they are very legible as they should be.