  </button>
          </div>
          <button id="clear-filter" class="clear-filter-btn hidden">
            Clear Filter
          </button>
          <ul id="toc" class="toc-list"></ul>
          <div class="sidebar-footer">
            <a
              href="https://vortex-benchmark-results-database.s3.amazonaws.com/data.json.gz"
              class="download-btn"
              download
            >
              Download Data
            </a>
          </div>
        </nav>
      </aside>

      <!-- 