html, body {
  margin: 0;
  padding: 0;
  width: 100%;
  height: 100%;
  overflow: hidden;
}

body {
  display: flex;
  flex-direction: row;
}
body > * {
  width: 0;
  flex-grow: 1;
}

.editor {
  display: flex;
  flex-direction: column;
  border-right: 2px solid gray;
}

textarea {
  flex-grow: 1;
  height: 0;
  resize: none;
  border: 0;
  outline: 0;
}

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


.annotation {
  font-family: sans-serif;
  font-size: 12px;
  margin: 8px;
  margin-bottom: 12px;
}

.annotation .id {
  color: #555;
}
.annotation .span {
  background: #B9DBF3;
  padding: 4px;
}