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.
 
 
 
 

41 lines
1.6 KiB

<div id="sidetoggle">
<div>
<div class="sidefilter">
<form class="toc-filter">
<span class="glyphicon glyphicon-filter filter-icon"></span>
<span class="glyphicon glyphicon-remove clear-icon" id="toc_filter_clear"></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="Home">Home</a>
</li>
<li>
<span class="expand-stub"></span>
<a href="index.html" name="" title="Getting Started">Getting Started</a>
<ul class="nav level2">
<li>
<a href="start-user.html" name="" title="As a User">As a User</a>
</li>
<li>
<a href="start-dev.html" name="" title="As a Developer">As a Developer</a>
</li>
<li>
<a href="contributing.html" name="" title="As a Contributor">As a Contributor</a>
</li>
</ul>
</li>
<li>
<a href="command-line.html" name="" title="The Command Line">The Command Line</a>
</li>
</ul>
</div>
</div>
</div>
</div>