html,
body {
}

#editor {
  height: 70%;
  margin: 1em auto;
  resize: none;
}

#output {
  border: 1px solid #000;
  min-height: 1em;
  padding: 0.5em;
}
#output.loading {
  background-color: #440;
}
#output.ok {
  background-color: #040;
}
#output.error {
  background-color: #400;
}
.hidden {
  display: none;
}