<span class="icon-bar"></span>

      </button>

    </div>

    <div id="context-pages" class="navbar-collapse collapse">

    <ul class="nav navbar-nav navbar-right">

        <li class="${'active' if current == 'summary' else ''}" data-context="summary"><a href="${h.url('summary_home', repo_name=c.repo_name)}"><i class="icon-doc-text"></i>${_('Summary')}</a></li>

        %if rev:

        <li class="${'active' if current == 'changelog' else ''}" data-context="changelog"><a href="${h.url('changelog_file_home', repo_name=c.repo_name, revision=rev, f_path='')}"><i class="icon-clock"></i>${_('Changelog')}</a></li>

        %else:

        <li class="${'active' if current == 'changelog' else ''}" data-context="changelog"><a href="${h.url('changelog_home', repo_name=c.repo_name)}"><i class="icon-clock"></i>${_('Changelog')}</a></li>

        %endif

        <li class="${'active' if current == 'files' else ''}" data-context="files"><a href="${h.url('files_home', repo_name=c.repo_name, revision=rev or 'tip')}"><i class="icon-doc-inv"></i>${_('Files')}</a></li>

        <li class="${'active' if current == 'switch-to' else ''}" data-context="switch-to">

          <input id="branch_switcher" name="branch_switcher" type="hidden">

        </li>

        <li class="${'active' if current == 'options' else ''} dropdown" data-context="options">

             %if h.HasRepoPermissionLevel('admin')(c.repo_name):

               <a href="${h.url('edit_repo',repo_name=c.repo_name)}" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false" aria-haspopup="true"><i class="icon-wrench"></i>${_('Options')} <i class="caret"></i></a>

             %else:

               <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false" aria-haspopup="true"><i class="icon-wrench"></i>${_('Options')} <i class="caret"></i></a>

             %endif

          <ul class="dropdown-menu" role="menu" aria-hidden="true">

             %if h.HasRepoPermissionLevel('admin')(c.repo_name):

                   <li><a href="${h.url('edit_repo',repo_name=c.repo_name)}"><i class="icon-gear"></i>${_('Settings')}</a></li>

              %if request.authuser.username != 'default':

                  <li>

                   <a href="#" class="${'following' if c.repository_following else 'follow'}" onclick="toggleFollowingRepo(this, ${c.db_repo.repo_id});">

                    <span class="show-follow"><i class="icon-heart-empty"></i>${_('Follow')}</span>

                    <span class="show-following"><i class="icon-heart"></i>${_('Unfollow')}</span>

                   </a>

                  </li>

                  <li><a href="${h.url('repo_fork_home',repo_name=c.repo_name)}"><i class="icon-git-pull-request"></i>${_('Fork')}</a></li>

                  <li><a href="${h.url('pullrequest_home',repo_name=c.repo_name)}"><i class="icon-git-pull-request"></i>${_('Create Pull Request')}</a></li>

              %endif

             </ul>

        </li>

    </ul>

    </div>

    </div>

  </nav>

  <script type="text/javascript">

    $(document).ready(function() {

      var bcache = {};

      $("#branch_switcher").select2({

          placeholder: '<i class="icon-exchange"></i>' + ${h.jshtml(_('Switch To'))} + ' <span class="caret"></span>',

          dropdownAutoWidth: true,

          sortResults: prefixFirstSort,