          <ul id="menu" class="nav navbar-nav">
            <li><a href="getting-started.html">Getting started</a></li>
            <li class="dropdown">
              <a href="#" class="dropdown-toggle" data-toggle="dropdown">Documentation <b class="caret"></b></a>
              <ul class="dropdown-menu">
                <li><a href="user-guide.html">User guide</a></li>
                <li><a href="api" target="_blank">Javadoc</a></li>
                <li><a href="resources.html">Other resources</a></li>
 