#file-box {
  width: 100%;
  float: left;
  margin-right: -15em;
  /* was -180px; */
}
#file-editor {
  margin-right: 15em;
  /* was 180px; */
}
#file-chooser {
  float: right;
  width: 14em;
  /* was 170px; */
}
#file-chooser ul {
  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 {
  height: 30em;
}
