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.

36 lines
1.3 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. <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="../index.html" name="" title="Home">Home</a>
  15. </li>
  16. <li>
  17. <span class="expand-stub"></span>
  18. <a href="index.html" name="" title="Getting Started">Getting Started</a>
  19. <ul class="nav level2">
  20. <li>
  21. <a href="start-user.html" name="" title="As a User">As a User</a>
  22. </li>
  23. <li>
  24. <a href="start-dev.html" name="" title="As a Developer">As a Developer</a>
  25. </li>
  26. </ul>
  27. </li>
  28. <li>
  29. <a href="command-line.html" name="" title="The Command Line">The Command Line</a>
  30. </li>
  31. </ul>
  32. </div>
  33. </div>
  34. </div>
  35. </div>