+ <li class="has-dropdown">
+ <a href="/" title="View player statistics and recent games"><i class="fa fa-bar-chart"></i> Stats</a>
+ <ul class="dropdown">
+ <li><a href="${request.route_url('main_index')}" title="Leaderboard">Leaderboard</a></li>
+ <li><a href="${request.route_url('player_index')}" title="Player Index">Players</a></li>
+ <li><a href="${request.route_url('game_index')}" title="Game Index">Games</a></li>
+ <li><a href="${request.route_url('server_index')}" title="Server Index">Servers</a></li>
+ <li><a href="${request.route_url('map_index')}" title="Map Index">Maps</a></li>
+ <li><a href="${request.route_url('search')}" title="Search">Search</a></li>
+ % if login_logout:
+ <li><a href="#" title="Log in with Mozilla Persona">${request.persona_button}</a></li>
+ % endif
+ </ul>
+ </li>