Go back to height 600

11 years ago · 71722d6850
parent 7d9aa2cae0
commit 71722d6850
1 changed files with 1 additions and 1 deletions
--- a/static/ext/codemirror/codemirror.css
+++ b/static/ext/codemirror/codemirror.css
@ -3,7 +3,7 @@
 .CodeMirror {
  /* Set height, width, borders, and global font properties here */
  font-family: monospace;
-  height: 400px;
+  min-height: 600px;
 }
 .CodeMirror-scroll {
  /* Set scrolling behaviour here */