Comment Comment by alex-m Hi,The default font is not proportional, BUT you will be able to set it to whatever you like. There will also be an option to disable syntax highlighting.Could you tell me what browser you are using? parent alex-m 9 years ago
The default font is not proportional, BUT you will be able to set it to whatever you like. There will also be an option to disable syntax highlighting.
Could you tell me what browser you are using?