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.

40 lines
1.6 KiB

  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. <span class="glyphicon glyphicon-remove clear-icon" id="toc_filter_clear"></span>
  8. <input type="text" id="toc_filter_input" placeholder="Enter here to filter..." onkeypress="if(event.keyCode==13) {return false;}">
  9. </form>
  10. </div>
  11. <div class="sidetoc">
  12. <div class="toc" id="toc">
  13. <ul class="nav level1">
  14. <li>
  15. <a href="../index.html" name="" title="Home">Home</a>
  16. </li>
  17. <li>
  18. <span class="expand-stub"></span>
  19. <a href="index.html" name="" title="Getting Started">Getting Started</a>
  20. <ul class="nav level2">
  21. <li>
  22. <a href="start-user.html" name="" title="As a User">As a User</a>
  23. </li>
  24. <li>
  25. <a href="start-dev.html" name="" title="As a Developer">As a Developer</a>
  26. </li>
  27. <li>
  28. <a href="contributing.html" name="" title="As a Contributor">As a Contributor</a>
  29. </li>
  30. </ul>
  31. </li>
  32. <li>
  33. <a href="command-line.html" name="" title="The Command Line">The Command Line</a>
  34. </li>
  35. </ul>
  36. </div>
  37. </div>
  38. </div>
  39. </div>