#table_of_content {
  float: right;
  width: calc(20% - 15px);

  position: sticky;
  top: 5vh;
  max-height: 90vh;
  overflow: auto;
  margin-right: 5px;
  padding: 5px;
}

#table_of_content div {
  background-color: var(--backcol);
  border: 3px solid var(--frontcol);
  border-radius: 5px;
  padding: 10px;
  margin-bottom: 10px;
}

#table_of_content div:first-child {
  margin-top: 0px;
  border-radius: 10px 10px 5px 5px;
}

#table_of_content div:last-child {
  border-radius: 5px 5px 10px 10px;
  margin-bottom: 0px;
}

#table_of_content div:nth-child(even) {
  background-color: var(--backcol_b);
}

#table_of_content div:hover {
  background-color: var(--h_textcol);
  cursor: alias;
}

#demo_loader {
  position: relative;
  background: black;
  text-align: center;
  left: 10%;
  width: 80%;
  aspect-ratio: 16/9;
}

#demo_loader iframe {
  max-width: 100%;
  height: 100%;
  border: none;
}