body {
  display: flex;
  height: 100%;
  box-sizing: border-box;
  margin: 0;
  flex-direction: column;
  padding-bottom: 20px;
}
#code-pane {
  display: flex;
  flex-grow: 1;
  padding: 5px;
  margin: 5px;
  box-sizing: border-box;
  width: 675px;
}
#hex-pane {
  display: flex;
  max-height: 100%;
  padding: 5px;
  margin: 5px;
  box-sizing: border-box;
  overflow-y: auto;
  flex-direction: column;
  min-width: 100px;
}
.row-pane {
  display: flex;
  max-height: 100%;
  flex-direction: row;
  flex-grow: 1;
}
.col-pane {
  display: flex;
  max-width: 100%;
  flex-direction: column;
  flex-grow: 1;
}

#code-input {
  box-sizing: border-box;
  height: 100%;
  width: 100%;
  padding: 10px;
  border: 1px solid black;
  border-left: 0;
  outline: none;
  resize: none;
  font-family: monospace;
  white-space: nowrap;
}

#code-numbers {
  width: 50px;
  outline: none;
  padding: 10px;
  border: 1px solid black;
  border-right: 0;
  background-color: #ddd;
  text-align: center;
  resize: none;
  overflow-y: hidden;
}

#sizer-bar {
  border-left: 4px solid #f0f0f0;
  cursor: ew-resize;
}

#parse-btn {
  margin: 10px 10px 0 10px;
}

#repl-container-outer {
  margin: 0 1em;
  padding: 2px;
  border-radius: 6px;
  overflow: hidden;
  box-shadow: 0 1px 4px #e0e0f0;
  background: none;
  border: 1px solid #444;
  border-radius: 6px;
  height: 200px;
  width: 100%;
}

#repl-container {
  width: 100%;
  height: 100%;
  box-sizing: border-box;
  margin: 0;
  padding: 0;
  font-family: monospace;
  overflow: scroll;
  cursor: text;
}

#repl-container-inner {
  position: relative;
}

#repl-input {
  position: absolute;
  left: calc(2ch);
  top: calc(100% - 1.5em);
  height: 1.5em;
  line-height: 1.5em;
  font-family: inherit;
  font-size: inherit;
  border: none;
  outline: none;
  background: transparent;
  width: calc(100% - 1ch - 0.25em);
  padding: 0;
  margin: 0 0 0 5px;
  white-space: pre-wrap;
}

#repl-output {
  margin: 5px;
  outline: 0px solid;
  color: #447;
  line-height: calc(1em + 5px);
}

.input-marker {
  margin: 0px -5px 0px -5px;
  background-color: #eee;
  padding: 0px 5px 0px 5px;
}