erp5_code_mirror: Use monospace font in CodeMirror editor, previously overriden by ERP5 CSS.

bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml

@@ -112,6 +112,10 @@
    z-index: 4242 !important;\n
    overflow: hidden !important;\n
  }\n
+\n
+ .CodeMirror pre span {\n
+   font-family: monospace !important;\n
+ }\n
 </style>\n
 \n
 <input type="button" value="Maximize" onclick="maximize()"\n

bt5/erp5_code_mirror/bt/change_log

+2014-12-19 arnaud.fontaine
+* Use monospace font in CodeMirror editor, previously overriden by ERP5 CSS.
+
 2014-07-23 arnaud.fontaine
 * erp5_code_mirror: Update to 3.22.