chiark / gitweb /
4e23b49fde7a4fcc8457a6d89b12a3d157f17e67
[nlopt.git] / doc / nlopt-mkdocs-theme / versions.html
1 <div class="rst-versions" role="note" style="cursor: pointer">
2     <span class="rst-current-version" data-toggle="rst-current-version">
3       {% if repo_name == 'GitHub' %}
4           <a class="icon icon-github" style="float: left; color: #fcfcfc"> GitHub</a>
5       {% elif repo_name == 'Bitbucket' %}
6           <a class="icon icon-bitbucket" style="float: left; color: #fcfcfc"> BitBucket</a>
7       {% endif %}
8       {% if previous_page %}
9         <span><a href="{{ previous_page.url }}" style="color: #fcfcfc;">&laquo; Previous</a></span>
10       {% endif %}
11       {% if next_page %}
12         <span style="margin-left: 15px"><a href="{{ next_page.url }}" style="color: #fcfcfc">Next &raquo;</a></span>
13       {% endif %}
14     </span>
15 </div>