Use an HTML list for custom menu entries in documentation

For compatibility with sphinx_rtd_theme 1.0, which otherwise renders the
entries with buttons.
This commit is contained in:
Chris Mayo 2021-08-22 19:26:03 +01:00
parent 49d994d7cc
commit 119f6a961e

View file

@ -2,8 +2,10 @@
{% block menu %}
{{ super() }}
<a href="{{ pathto('genindex') }}">Index</a>
<hr>
<a href="https://github.com/linkchecker/linkchecker/blob/master/doc/changelog.txt">Change Log</a>
<a href="https://github.com/linkchecker/linkchecker/issues/">Issue Tracker</a>
<ul>
<li><a href="{{ pathto('genindex') }}">Index</a></li>
<li><hr></li>
<li><a href="https://github.com/linkchecker/linkchecker/blob/master/doc/changelog.txt">Change Log</a></li>
<li><a href="https://github.com/linkchecker/linkchecker/issues/">Issue Tracker</a></li>
</ul>
{% endblock %}