.Highlight {
  position: absolute;
}

.Highlight__category {
  position: absolute;
  color: rgb(0, 0, 0);
  opacity: 1;
  font-size: 14px;
  background-color: #babbbd;
  z-index: 9;
}

.Highlight__parts {
  opacity: 1;
}

.Highlight__part {
  cursor: pointer;
  position: absolute;
  /* background: #ddcc77; */
  transition: background 0.3s;
}

.Highlight__popup {
  background-color: #3d464d;
  border: 1px solid rgba(255, 255, 255, 0.25);
  color: rgb(255, 255, 255);
  padding: 0.5rem 1rem;
  border-radius: 3px;
  max-width: 300px;
  max-height: 100px;
  overflow-y: scroll;
}

.Highlight--scrolledTo .Highlight__part {
  background: #a45998;
}

/* .Highlight--Premise .Highlight__part {
  background: #95c7e0;
}

.Highlight--Assumption .Highlight__part {
  background: #609b91;
}

.Highlight--Target .Highlight__part {
  background: #ce7e8b;
}
 */