You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

23 lines
791 B

  1. 
  2. <div id="sidetoggle">
  3. <div>
  4. <div class="sidefilter">
  5. <form class="toc-filter">
  6. <span class="glyphicon glyphicon-filter filter-icon"></span>
  7. <input type="text" id="toc_filter_input" placeholder="Enter here to filter..." onkeypress="if(event.keyCode==13) {return false;}">
  8. </form>
  9. </div>
  10. <div class="sidetoc">
  11. <div class="toc" id="toc">
  12. <ul class="nav level1">
  13. <li>
  14. <a href="articles/intro.html" name="articles/toc.html" title="Articles">Articles</a>
  15. </li>
  16. <li>
  17. <a href="api/index.html" name="api/toc.html" title="Api Documentation">Api Documentation</a>
  18. </li>
  19. </ul>
  20. </div>
  21. </div>
  22. </div>
  23. </div>