agda/doc/user-manual/_templates/breadcrumbs.html

{%- extends "sphinx_rtd_theme/breadcrumbs.html" %}

{% block breadcrumbs_aside %}
{% endblock %}