| |
| <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="mailing-lists.html" name="" title="Mailing Lists">Mailing Lists</a> |
| </li> |
| <li> |
| <a href="source.html" name="" title="Source Code">Source Code</a> |
| </li> |
| <li> |
| <a href="issue-tracker.html" name="" title="Issue Tracker">Issue Tracker</a> |
| </li> |
| <li> |
| <a href="documentation.html" name="" title="Website & Docs">Website & Docs</a> |
| </li> |
| <li> |
| <a href="current-status.html" name="" title="Current status">Current status</a> |
| </li> |
| <li> |
| <a href="make-release.html" name="" title="Making a release">Making a release</a> |
| </li> |
| <li> |
| <a href="wiki.html" name="" title="Wiki">Wiki</a> |
| </li> |
| </ul> |
| </div> |
| </div> |
| </div> |
| </div> |