.CodeMirror, .CodeMirror-scroll {
	min-height: 400px;
}

.editor-toolbar.fullscreen, .CodeMirror-fullscreen {
  left: 10%;
  right: 10%;
}

.CodeMirror pre {
  font-size: 1.2rem;
}

/* Make the cursor 1.5x taller */
.CodeMirror .CodeMirror-cursor {
  height: 1em !important;
  margin-top: 0.2em;
}