/* Article-only TOC: remove nested vertical scrolling; preserve main-page scroll. */
@media (min-width: 761px) {
  .article-page .article-reading-layout .article-tools,
  .article-page .article-reading-layout .article-contents {
    max-height: none !important;
    height: auto !important;
    overflow-y: visible !important;
    overscroll-behavior: auto;
  }
  .article-page .article-reading-layout .article-tools { align-self: start; }
}
.article-page .article-reading-layout .article-contents > div {
  max-height: none !important;
  height: auto !important;
  overflow-y: visible !important;
}
@media (max-width: 760px) {
  .article-page .article-reading-layout .article-tools,
  .article-page .article-reading-layout .article-contents,
  .article-page .article-reading-layout .article-contents > div {
    max-height: none !important;
    height: auto !important;
    overflow: visible !important;
  }
}