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.

20 lines
623 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="intro.html" name="" title="Getting Started">Getting Started</a>
  15. </li>
  16. </ul>
  17. </div>
  18. </div>
  19. </div>
  20. </div>