github.com/elves/elvish@v0.15.0/website/tools/pandoc-data/templates/toc-and-body.html (about)

     1  <div class="toc">
     2    <p>Table of Content: <span id="toc-toggle-wrapper"></span></p>
     3    <div id="toc-list">
     4      $toc$
     5    </div>
     6    <script>
     7    (function() {
     8      var shown = true,
     9          tocToggleWrapper = document.getElementById('toc-toggle-wrapper'),
    10          tocList = document.getElementById('toc-list');
    11      var tocToggle = document.createElement('a');
    12      tocToggle.innerText = "[Hide]";
    13      tocToggle.href = "";
    14      tocToggleWrapper.appendChild(tocToggle);
    15      tocToggle.onclick = function(ev) {
    16        shown = !shown;
    17        if (shown) {
    18          tocToggle.innerText = "[Hide]";
    19          tocList.className = "";
    20        } else {
    21          tocToggle.innerText = "[Show]";
    22          tocList.className = "no-display";
    23        }
    24        ev.preventDefault();
    25      };
    26    })();
    27    </script>
    28  </div>
    29  $body$