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