textarea.text-editor {
  /* height: 70vh; */
  height: 100%;
  line-height: 1.25em;
  resize: none;
  font-family: consolas, hack, monospace;
}