It’s ComicShannsMono. In theory, Comic Sans is recommended for accessibility by the British Dyslexia Association. I started using it as a childish joke, but it ended up becoming my preferred font because I find it easier to read and less tiring than more traditional fonts.
In any case, your feedback is good. I’ll change it to use whatever font the user has defined. That’s the right approach.
reply