CodeMirror自动更改高度的问题

static/src/css/oj.css

@@ -67,4 +67,19 @@ li.list-group-item {
 
 .panel>.list-group{
     padding: 0 0;
+}
+
+.CodeMirror{
+    min-height: 250px;
+    _height:250px;
+    height: auto;
+}
+
+.CodeMirror-scroll {
+  overflow: auto;
+  min-height: 250px;
+  _height:250px;
+  height: auto;
+  position: relative;
+  outline: none;
 }