--- a/controls/CustomStyledTextCtrl.py	Mon Jul 13 13:56:42 2020 +0200
+++ b/controls/CustomStyledTextCtrl.py	Sat Apr 04 09:41:32 2020 +0200
@@ -40,7 +40,7 @@
 else:
     faces = {
         'times': 'Times',
-        'mono':  'Courier',
+        'mono':  'FreeMono',
         'helv':  'Helvetica',
         'other': 'new century schoolbook',
         'size':  12,