.table-of-contents {
  border-left: 2px solid var(--hr-color, #30363d);
  padding: 0.4rem 0.7rem;
}

@media (min-width: 87.5em) {
  .table-of-contents {
    position: fixed;
    top: 5rem;
    right: 2rem;
    width: 240px;
    max-height: calc(100vh - 8rem);
    overflow-y: auto;
  }
}

.table-of-contents ol {
  padding-left: 1.2rem;
  margin: 0.4rem 0;
}

.table-of-contents > ol {
  padding-left: 0;
}

.table-of-contents li {
  margin: 0.15rem 0;
}