mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-03 15:24:00 +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.
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.