.container {
  /* give the outermost container a predefined size */
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  margin: 8pt;

  display: flex;
  flex-direction: column;

  border-radius: 6pt;
  border: 2pt solid lightgray;
}

#section {
  flex-grow: 1;

  display: flex;
  flex-direction: row;

  /* for Firefox */
  min-height: 0;
}

#left {
  flex-grow: 1;
  flex-shrink: 0;
  flex-basis: 50%;
  overflow: auto;
  min-height: 0;
}

#wrapper {
  margin: 4px;
}

#right {
  flex-grow: 0;
  flex-shrink: 1;
  flex-basis: 50%;
  display: flex;
  flex-direction: column;
  min-height: 0;
}

#editor {
  flex-basis: 100%;
  font-family: monospace;
  font-size: 16px;
  line-height: 1.5;
}

#pan-resize {
  flex-grow: 0;
  flex-shrink: 0;
  background-color: lightgray;
  width: 2pt;
  cursor: col-resize;
}

#action-bar {
  display: flex;
  flex-direction: row;
  justify-content: flex-end;
  padding: 8pt;
  align-items: baseline;
  border-radius: 4pt 4pt 0 0;
  background-color: lightgray;
}

.fonts {
  margin-left: 4px;
  margin-right: 8px;
}

.text-size {
  margin-left: 4px;
  margin-right: 8px;
}

#next {
  padding-left: 6pt;
  padding-right: 6pt;
}
