From 119f6a961ea2293b8d66a6c8c73a5509b821574d Mon Sep 17 00:00:00 2001
From: Chris Mayo <aklhfex@gmail.com>
Date: Sun, 22 Aug 2021 19:26:03 +0100
Subject: [PATCH] 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.
---
 doc/src/_templates/layout.html | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/doc/src/_templates/layout.html b/doc/src/_templates/layout.html
index fd608510..8af102d1 100644
--- a/doc/src/_templates/layout.html
+++ b/doc/src/_templates/layout.html
@@ -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 %}