.CodeMirror {
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -o-user-select: none;
  user-select: none;
  height: 100%;
}
.CodeMirror-hint {
  max-width: 38em;
}
.CodeMirror-vertical-ruler-error {
  background-color: rgba(188, 0, 0, 0.5);
}
.CodeMirror-vertical-ruler-warning {
  background-color: rgba(255, 188, 0, 0.5);
}
.CodeMirror-lint-tooltip {
  z-index: 2000;
}