chiark / gitweb /
custom theme no longer works?
[nlopt.git] / doc / nlopt-mkdocs-theme / breadcrumbs.html
1 <div role="navigation" aria-label="breadcrumbs navigation">
2   <ul class="wy-breadcrumbs">
3     <li><a href="{{ homepage_url }}"><span class="SmallCaps">NLopt</span> documentation</a> &raquo;</li>
4     {% if current_page %}
5       {% for doc in current_page.ancestors %}
6         {% if doc.link %}
7           <li><a href="{{ doc.link|e }}">{{ doc.title }}</a> &raquo;</li>
8         {% else %}
9           <li>{{ doc.title }} &raquo;</li>
10         {% endif %}
11       {% endfor %}
12     {% endif %}
13     {% if current_page %}<li>{{ current_page.title }}</li>{% endif %}
14     <li class="wy-breadcrumbs-aside">
15       {% if repo_url %}
16         {% if repo_name == 'GitHub' %}
17           <a href="{{ repo_url }}" class="icon icon-github"> Edit on GitHub</a>
18         {% elif repo_name == 'Bitbucket' %}
19           <a href="{{ repo_url }}" class="icon icon-bitbucket"> Edit on BitBucket</a>
20         {% endif %}
21       {% endif %}
22     </li>
23   </ul>
24   <hr/>
25 </div>