#editing, #highlighting, #textarea-container {
  /* Both elements need the same text and space styling so they are directly on top of each other */
  margin: 0px;
  padding: 10px;
  border: 0;
  width: calc(100vw - 32px);
  height: calc(100vh - 250px);
  min-height: 100px;
  box-sizing: border-box;
}

#textarea-container {
	margin: 0;
	padding: 0;
	position: relative;
}

#editing, #highlighting, #highlighting * {
  /* Also add text styles to highlighting tokens */
  font-size: 15pt;
  font-family: monospace;
  line-height: 20pt;
  tab-size: 4;
}

#editing, #highlighting {
  position: absolute;
  top: 0;
  left: 0;
}

/* Move the textarea in front of the result */
#editing {
  z-index: 1;
}

#highlighting {
  z-index: 0;
}

/* Make textarea almost completely transparent */
#editing {
  color: transparent;
  background: transparent;
  caret-color: black; /* Or choose your favorite color */
}

#editing, #highlighting, #textarea-container {
  overflow: auto;
}

#editing, #highlighting, #textarea-container, #highlighting-content {
  white-space: pre-wrap; /* Allows textarea to scroll horizontally */
  word-wrap: break-word;
}

/* No resize on textarea */
#editing {
  resize: none;
}

.legend li {
	display: inline-block;
}

.legend span {
	padding: 4px;
	border-radius: 8px;
}

.english {
	background-color: rgb(255, 128, 0);
	background-color: rgba(255, 128, 0, 0.3);
	border-radius: 2px;
}

.russian {
	background-color: rgb(128, 255, 0);
	background-color: rgba(128, 255, 0, 0.3);
	border-radius: 2px;
}

.greek {
	background-color: rgb(0, 128, 255);
	background-color: rgba(0, 128, 255, 0.3);
	border-radius: 2px;
}