dagshub-docs/theme/partials/toc.html

<nav id="side-toc-secondary" class="md-nav md-nav--secondary" aria-label="{{ lang.t("toc.title") }}">
  {% set toc = page.toc %}

  <!--
    Hack: check whether the content contains a h1 headline. If it does, the
    top-level anchor must be skipped, since it would be redundant to the link
    to the current page that is located just above the anchor. Therefore we
    directly continue with the children of the anchor.
  -->
  {% if toc | first is defined and "\x3ch1 id=" in page.content %}
    {% set toc = (toc | first).children %}
  {% endif %}

  <!-- Render item list -->
  {% if toc | first is defined %}
    <label class="md-nav__title" for="__toc">
      <span class="md-nav__icon md-icon">
        {% include ".icons/material/arrow-left.svg" %}
      </span>
      {{ lang.t("toc.title") }}
    </label>
    <ul class="md-nav__list" data-md-scrollfix>
      {% for toc_item in toc %}
        {% include "partials/toc-item.html" %}
      {% endfor %}
    </ul>
  {% endif %}

</nav>
<div id="bug-toc" class="md-button secondary-nav__button">
  <p>Found a problem? <br/>Let us know (or fix it):</p>
  <script>
    $(document).ready(function() {
      const page = `{{ page.url }}`.replace(/.$/,".md");
      const url = "https://dagshub.com/DAGsHub-Official/dagshub-docs/src/main/docs/" + page;
      let button = document.querySelector('#page_link');
      if (button) {
        button.setAttribute('href', url);
      }
    });
  </script>
  <a id="page_link" href="" target="_blank">
    <i class="fas fa-wrench fa-lg"></i><span>Edit this Page</span>
  </a>
</div>
<div id="discord-toc" class="md-button secondary-nav__button">
    <p>Have a question? <br/>Join our community now:</p>
    <a href="https://discord.com/invite/9gU36Y6" target="_blank">
      <i class="fab fa-discord fa-lg"></i><span>Discord Chat</span>
    </a>
</div>