mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-03 07:13:59 +01:00
CodeMirror v3.1 extended it's CSS margin bottom by 30px. Plus also change BG style font etc to be more in line with editor.php.
9.0 KiB
9.0 KiB