diff --git a/doc/_templates/breadcrumbs.html b/doc/_templates/breadcrumbs.html index d1855e491fd..3852afcfa2a 100644 --- a/doc/_templates/breadcrumbs.html +++ b/doc/_templates/breadcrumbs.html @@ -15,7 +15,7 @@ {% endblock %} {%- block breadcrumbs_aside %}
  • - +
  • {%- if display_gh_links %}