
  .edui-editor .CodeMirror {
    line-height: 1em;
    font-family: monospace;
  }
  .edui-editor .CodeMirror-scroll {
    overflow: auto;
    height: 300px;
    /* This is needed to prevent an IE[67] bug where the scrolled content
       is visible outside of the scrolling box. */
    position: relative;
  }
  .edui-editor .CodeMirror-gutter {
    position: absolute;
    left: 0;
    top: 0;
    z-index: 10;
    background-color: #f7f7f7;
    border-right: 1px solid #eee;
    min-width: 2em;
    height: 100%;
  }
  .edui-editor .CodeMirror-gutter-text {
    color: #aaa;
    text-align: right;
    padding: 0.4em 0.2em 0.4em 0.4em;
    white-space: pre !important;
  }
  .edui-editor .CodeMirror-lines {
    padding: 0.4em;
  }
  .edui-editor .CodeMirror pre {
    -moz-border-radius: 0;
    -webkit-border-radius: 0;
    -o-border-radius: 0;
    border-radius: 0;
    border-width: 0;
    margin: 0;
    padding: 0;
    background: transparent;
    font-family: inherit;
    font-size: inherit;
    padding: 0;
    margin: 0;
    white-space: pre;
    word-wrap: normal;
  }
  .edui-editor .CodeMirror-wrap pre {
    word-wrap: break-word;
    white-space: pre-wrap;
  }
  .edui-editor .CodeMirror-wrap .CodeMirror-scroll {
    overflow-x: hidden;
  }
  .edui-editor .CodeMirror textarea {
    outline: none !important;
  }
  .edui-editor .CodeMirror pre.CodeMirror-cursor {
    z-index: 10;
    position: absolute;
    visibility: hidden;
    border-left: 1px solid black;
  }
  .edui-editor .CodeMirror-focused pre.CodeMirror-cursor {
    visibility: visible;
  }
  .edui-editor span.CodeMirror-selected {
    background: #d9d9d9;
  }
  .edui-editor .CodeMirror-focused span.CodeMirror-selected {
    background: #d2dcf8;
  }
  .edui-editor .CodeMirror-searching {
    background: #ffa;
  }
  .edui-editor .cm-s-default span.cm-keyword {
    color: #708;
  }
  .edui-editor .cm-s-default span.cm-atom {
    color: #219;
  }
  .edui-editor .cm-s-default span.cm-number {
    color: #164;
  }
  .edui-editor .cm-s-default span.cm-def {
    color: #00f;
  }
  .edui-editor .cm-s-default span.cm-variable {
    color: black;
  }
  .edui-editor .cm-s-default span.cm-variable-2 {
    color: #05a;
  }
  .edui-editor .cm-s-default span.cm-variable-3 {
    color: #085;
  }
  .edui-editor .cm-s-default span.cm-property {
    color: black;
  }
  .edui-editor .cm-s-default span.cm-operator {
    color: black;
  }
  .edui-editor .cm-s-default span.cm-comment {
    color: #a50;
  }
  .edui-editor .cm-s-default span.cm-string {
    color: #a11;
  }
  .edui-editor .cm-s-default span.cm-string-2 {
    color: #f50;
  }
  .edui-editor .cm-s-default span.cm-meta {
    color: #555;
  }
  .edui-editor .cm-s-default span.cm-error {
    color: #f00;
  }
  .edui-editor .cm-s-default span.cm-qualifier {
    color: #555;
  }
  .edui-editor .cm-s-default span.cm-builtin {
    color: #30a;
  }
  .edui-editor .cm-s-default span.cm-bracket {
    color: #cc7;
  }
  .edui-editor .cm-s-default span.cm-tag {
    color: #170;
  }
  .edui-editor .cm-s-default span.cm-attribute {
    color: #00c;
  }
  .edui-editor .cm-s-default span.cm-header {
    color: #a0a;
  }
  .edui-editor .cm-s-default span.cm-quote {
    color: #090;
  }
  .edui-editor .cm-s-default span.cm-hr {
    color: #999;
  }
  .edui-editor .cm-s-default span.cm-link {
    color: #00c;
  }
  .edui-editor span.cm-header, .edui-editor span.cm-strong {
    font-weight: bold;
  }
  .edui-editor span.cm-em {
    font-style: italic;
  }
  .edui-editor span.cm-emstrong {
    font-style: italic;
    font-weight: bold;
  }
  .edui-editor span.cm-link {
    text-decoration: underline;
  }
  .edui-editor div.CodeMirror span.CodeMirror-matchingbracket {
    color: #0f0;
  }
  .edui-editor div.CodeMirror span.CodeMirror-nonmatchingbracket {
    color: #f22;
  }