.codemirror-lines {min-height: 50px;}

.cm-flex-container {display: flex; flex-direction: column; height: 100%;}
.cm-flex-child-fixed {flex: none;}
.cm-flex-child-grow {flex: auto; overflow-y: hidden;}

/* footer flex */
.cm-footer {display:flex; flex-direction: row;}
.cm-footer .resource {flex: none;}
.cm-footer .field {flex: none;}
.cm-footer .message {flex: auto;}
.cm-footer .cursor {flex: none;}
.cm-footer .insert {flex: none;}
.cm-footer .mode {flex: none;}
.cm-footer .smile {flex: none;}

.cm-footer span {padding-left: 5px; padding-right: 5px;}

.cm-footer {background-color: #b4d3ec;color: black;font-family: monospace; font-size: 12px;margin: 0px; padding: 0px;}
.cm-footer span {text-align: center;}

.cm-footer span + span {border-left: 1px solid #a5bacb;}
.cm-footer span.alert-danger + span.alert-danger {border-left: 1px solid #dfc3c3;}

/* .CodeMirror-fullscreenxxxxxx {
  position: fixed;
  top: 0; left: 0; right: 0; bottom: 0;
  height: auto;
  z-index: 1040;
} */

.CodeMirror-lint-tooltip {
  z-index: 1050;
}