<script type="text/javascript" src="_static/drop-down-menu.js"></script>

	    <a href="{{theme_site + theme_homepage}}">

	      <span id="projectnumber"><script type="text/javascript">document.write(rev)</script></span>

	  </td>

	  <td id="ns3-menu">

	    <div class="menu">

	      <ul >

	        <li><a href="{{theme_site + theme_homepage}}">&nbsp;&nbsp;Home</a>

	        </li>

	        <li><a href="{{theme_site + theme_wiki}}">Wiki</a>

	        </li>

	        <li><span onmouseover="mopen('mDocs')" 

		      onmouseout="mclosetime()">Docs &nbsp;&nbsp;&nbsp;&#x25BC;</span>

		    <div id="mDocs"

		        onmouseover="mcancelclosetime()" 

		        onmouseout="mclosetime()">

		      <a href="{{theme_site + theme_release + theme_manual}}">Manual</a><br/>

		      <a href="{{theme_site + theme_release + theme_models}}">Models</a><br/>

		      <a href="{{theme_site + theme_release + theme_doxygen}}">API</a><br/>

	        </li>

	        <li><span onmouseover="mopen('mTuts')" 

		      onmouseout="mclosetime()">Tutorials &nbsp;&#x25BC;</span>

		    <div id="mTuts" 

		        onmouseover="mcancelclosetime()" 

		        onmouseout="mclosetime()">

		      <a href="{{theme_site + theme_release + theme_tutorial}}">English</a><br/>

		      <a href="{{theme_site + theme_release + theme_tutport}}">Portuguese</a><br/>

	        </li>

	        <li><a href="{{theme_site + theme_bugzilla}}">Bugs</a>

	        </li>

	      </ul>

	    </div>

{% endblock %}