#file-box {
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  gap: 2em;
  clear: both;
}
#file-editor {
  flex-grow: 1;
}
#file-chooser {
  max-width: 20em;
}
#file-chooser h3,
#file-form h3 {
  font-variant: small-caps;
  margin-bottom: inherit;
}
#file-chooser ul {
  margin-top: 0;
  padding-left: 0;
}
#file-chooser li {
  list-style: square inside;
}
#file-chooser li.default-file {
  color: #f90;
  font-weight: bold;
}
#file-chooser li.parent-file {
  color: #c00;
}
#file-chooser li.group-file {
  list-style: none;
  margin-bottom: 1em;
}
#file-chooser li.group-file ul {
  margin-top: 0.5em;
}
textarea {
  font: 1em Monaco, 'Courier New', Courier, monospace;
}
.CodeMirror {
  border: 1px solid;
  height: 30em;
}
#lock-form {
  margin-top: 2em;
}
