body {
  margin: 16px;
  font-family: sans-serif;
}

#editor {
  box-sizing: border-box;
  width: 100%;
  height: 85vh;
  font: 14px/1.7 monospace;
  padding: 12px;
}

#conn-status {
  font-size: 12px;
  color: #666;
}