openiddict-documentation/guide/toc.html

<div id="sidetoggle">
  <div>
    <div class="sidefilter">
      <form class="toc-filter">
        <span class="glyphicon glyphicon-filter filter-icon"></span>
        <input type="text" id="toc_filter_input" placeholder="Enter here to filter..." onkeypress="if(event.keyCode==13) {return false;}">
      </form>
    </div>
    <div class="sidetoc">
      <div class="toc" id="toc">
          
          <ul class="nav level1">
                <li>
                    <a href="index.html" name="" title="Introduction">Introduction</a>
                </li>
                <li>
                    <a href="getting-started.html" name="" title="Getting started">Getting started</a>
                </li>
                <li>
                    <a href="samples.html" name="" title="Samples">Samples</a>
                </li>
                <li>
                    <a href="migration.html" name="" title="Migration guide">Migration guide</a>
                </li>
                <li>
                    <a href="token-formats.html" name="" title="Understanding the different token formats">Understanding the different token formats</a>
                </li>
          </ul>
      </div>
    </div>
  </div>
</div>