.Editor .status_bar {
  height: 22px;
  background: #DDD;
  border-top: 1px solid gray;
  font-family: sans-serif;
  font-size: 12px;
  padding: 4px;
  box-sizing: border-box;
}
.Editor .error {
  background: #F77;
}

.Editor {
  display: flex;
  flex-direction: column;
}
.Editor .editor_div {
  flex-grow: 1;
  height: 0;
}

.Editor .CodeMirror {
  height: 100%;
  font-size: 12px;
  font-family: sans-serif;
  line-height: 1.3;
  background: #F7F7F7;
  margin-left: 4px;
  margin-right: 4px;
}
.Editor .CodeMirror-gutters {
  border-right: 0;
}
.Editor .CodeMirror-lines > * {
  border: 1px solid #DDD;
  background: white;
}

.Editor .span {
  background: rgba(31,118,180,0.085);
}
.Editor .angle_bracket {
  font-weight: bold;
  color: rgba(31,118,180,1);
}
.Editor .about_resource {
  color: #ff7f0e;
  font-weight: bold;
}
.Editor .directive {
  background: rgba(255, 177, 0, 0.05);
  color: #444;
}
.Editor .directive_block_opener {
  border-top: 1px solid #DDD;
  background: rgba(255, 177, 0, 0.05);
}
.Editor .directive_block_closer {
  background: rgba(255, 177, 0, 0.05);
}
.Editor :not(:last-child) > .directive_block_closer {
  border-bottom: 1px solid #DDD;
}
.Editor .directive_block_code {
  color: #555;
}
.Editor .error {
  background: rgba(255,0,0,0.2);
  border-bottom: 2px solid red;
}
.Editor .code {
  font-family: monospace;
  font-size: 11px;
}

/* Codemirror highlighting
*/
.Editor .cm-span_open, .Editor .cm-span_close, .Editor .cm-subject {
  color: rgba(31,118,180,1);
  font-weight: bold;
}
.Editor .cm-triple_section_open, .Editor .cm-triple_section_close {
  color: #444;
}
.Editor .triple_section, .Editor .triple_section_open, .Editor .triple_section_close {
  background: rgba(255, 177, 0, 0.05);
}
.Editor .triple_section_text {
  font-family: monospace;
}
.Editor .triple_section_open {
  border-top: 1px solid #DDD;
}
.Editor :not(:last-child) > .triple_section_close {
  border-bottom: 1px solid #DDD;
}
.Editor .cm-predicate, .Editor .cm-object {
  color: #444;
}
.Editor .cm-literal {
  font-family: sans-serif;
}