/* CodeMirror */

.CodeMirror {
  font-size: $default-font-size;
  font-family: $type-1;
	font-weight: $font-weight-regular;
  height: auto;
  text-align: left;
  min-height: auto;
}
.CodeMirror-scroll {
  min-height: auto;
}