+ <li><a href="#" class="dropdown-toggle" role="button" id="versionMenuLink" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">{{ site.current_version }}{% if site.all_versions != [] %} ▾{% endif %}</a>
+ {% if site.all_versions != [] %}
+ <div class="dropdown-menu" aria-labelledby="versionMenuLink">
+ {% for version in site.all_versions %}
+ <a href="/{{ version }}{{ page.url }}" class="dropdown-item">{{ version }}</a><br/>
+ {% endfor %}
+ </div>
+ {% endif %}
+ </li>
+ <li><a href="https://arvados.org" style="padding-left: 2em">arvados.org »</a></li>