docs/src/patches/breadcrumbs.diff
diff --git a/docs/src/templates/breadcrumbs.html b/docs/src/templates/breadcrumbs.html
index 90cb0ff8..4232251e 100644
--- a/docs/src/templates/breadcrumbs.html
+++ b/docs/src/templates/breadcrumbs.html
@@ -54,10 +54,14 @@
{%- endif %}
{%- elif show_source and source_url_prefix %}
<a href="{{ source_url_prefix }}{{ pagename }}{{ page_source_suffix }}">{{ _('View page source') }}</a>
{%- elif show_source and has_source and sourcename %}
<a href="{{ pathto('_sources/' + sourcename, true)|e }}" rel="nofollow"> {{ _('View page source') }}</a>
+ {% elif "ref/" in pagename %}
+ <a href="{{ pathto(pagename | replace("ref", "ref-ext") ~ ".html", 1) }}" class="fa fa-search-plus"> Open extended view</a>
+ {% elif "ref-ext/" in pagename %}
+ <a href="{{ pathto(pagename | replace("ref-ext", "ref") ~ ".html", 1) }}" class="fa fa-search-minus"> Open simplified view</a>
{%- endif %}
{%- endif %}
</li>
{%- endblock %}
</ul>