Changeset 3252:a6e56037037d

Timestamp:

06/16/16 10:16:07 (9 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Message:

Tiny adjustment for CodeMirror? area

Location:

plugins/themeEditor

Files:

• codemirror.css (deleted)
• style.css (modified) (1 diff)

plugins/themeEditor/style.css

@@ -36 +36 @@
      font: 1em Monaco,"Courier New",Courier,monospace;
 }
+.CodeMirror {
+     height: 30em !important;
+}