.repl-container {
  padding: 0 10px;
}

.repl-text {
  cursor: pointer;
  display: inline-block;
  font-family: monospace;
  white-space: pre;
  tab-size: 4;
  -moz-tab-size: 4;
  -o-tab-size: 4;
  word-wrap: break-word;
}
.repl-field {
  display: inline-block;
}
.repl-error {
  color: #D00;
}
.repl-text_line:hover {
  background-color: #E5E5E5;
}

.re-eval_line_button {
  cursor: pointer;
  float: right;
  text-align: center;
  width: 15px;
  color: #808080;
}
.erase_line_button {
  cursor: pointer;
  float: right;
  text-align: center;
  width: 15px;
  color: #808080;
}
.re-eval_line_button:hover {
  color: #000000;
}
.erase_line_button:hover {
  color: #000000;
}

.unselectable {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

.pointer_group {
  cursor: pointer;
  display: inline-block;
  width: 25px;
}
.pointer {
  font-family: monospace;
  font-weight: bold;
}

.repl-newline {
  font-family: monospace;
  font-weight: bold;
  padding: 2px 10px 15px 10px;
}

.repl-cursor_editor {
  display: inline;
}
.repl-text_editor {
  position: absolute;
  padding: 2px 0 0 0;
  min-width: 10px;
  min-height: 100%;
  width: 100%;
  height: 100%;
  border: none;
  resize: none;
  box-shadow: none;
  outline: none;
  background: transparent;
  z-index: 10;
  overflow: hidden;
}

.repl-content_measure {
  position: absolute;
  left: 0;
  top: 0;
  padding-top: 2px;
  padding-right: 1em;
  border: none;
  visibility: hidden;
  overflow: visible;
}

.formula-text {
  font-family: monospace;
  tab-size: 4;
  -moz-tab-size: 4;
  -o-tab-size: 4;
}