﻿
<div id="sidetoggle">
  <div>
    <div class="sidefilter">
      <form class="toc-filter">
        <span class="glyphicon glyphicon-filter filter-icon"></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="wiki.html" name="" title="Wiki">Wiki</a>
                </li>
                <li>
                    <a href="documentation.html" name="" title="Documentation">Documentation</a>
                </li>
                <li>
                    <a href="current-status.html" name="" title="Current status">Current status</a>
                </li>
          </ul>
      </div>
    </div>
  </div>
</div>