Yes, monospaced fonts are very standard for Code editors and required for indentation/line numbers/prettyprint to generate anything reasonable. So I am not in favour of changing that filter. There are now a large number of good monospaced fonts to choose from. There must be one GrannyGrump could use.
|