nate'); return false;" ><img src="dark_theme.png" height="20px" width"20px" title="Toggle Theme"/></button>
      </div>

      <br>
      <h2 id="documentation">Documentation</h2>
      <div id="box1">
        <div class="doc_link">
          <a href="installhowto.html">Installation</a>&nbsp;&nbsp;<img src="img/updated.gif"/>
        </div>
        <div class="doc_link">
          <a href="source.html">Get source and build it</a>&nbsp;&nbsp;<img src="img/updated.gif"/>
        </div>
        <div class="do