div.sticky {
  position: -webkit-sticky;
  position: sticky;
  top: 0;
  // background-color: yellow;
}
.tree,
.tree ol {
    list-style: none;
    margin: 0;
    padding: 0;
}

.tree ol {
    padding-left: 1em;
}
.tree summary {
    color: #6b879a;
}
.tree a{
    font-weight:unset;
    color: black;
}

a.active{
  color: #f28482;
}
/* The Modal (background) */
.modal {
  display: none; /* Hidden by default */
  position: fixed; /* Stay in place */
  z-index: 1; /* Sit on top */
  padding-top: 100px; /* Location of the box */
  left: 0;
  top: 0;
  width: 100%; /* Full width */
  height: 100%; /* Full height */
  overflow: auto; /* Enable scroll if needed */
  background-color: rgb(0,0,0); /* Fallback color */
  background-color: rgba(0,0,0,0.4); /* Black w/ opacity */
}

/* Modal Content */
.modal-content {
  background-color: #fefefe;
  margin: auto;
  padding: 20px;
  border: 1px solid #888;
  width: 80%;
}

/* The Close Button */
.close {
  color: #aaaaaa;
  float: right;
  font-size: 28px;
  font-weight: bold;
}

.close:hover,
.close:focus {
  color: #000;
  text-decoration: none;
  cursor: pointer;
}