diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index ce6f08daa..597b6261f 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -13,6 +13,11 @@ {% block sidebar1 %}{{ sidebar() }}{% endblock %} {% block sidebar2 %}{% endblock %} +{% block linktags %} +{{ super() }} + +{% endblock %} + {% block extrahead %}