From 1ec2569598b4e086fbf679418c6e0c44b018761e Mon Sep 17 00:00:00 2001
From: Tanja Bergmann <tabergma@gmail.com>
Date: Thu, 26 Mar 2020 10:11:12 +0100
Subject: [PATCH] don't overwrite footer

---
 docs/_templates/page.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/_templates/page.html b/docs/_templates/page.html
index 429a7dedd9a2..65f134ac0dd4 100644
--- a/docs/_templates/page.html
+++ b/docs/_templates/page.html
@@ -1,6 +1,7 @@
 {% extends "!page.html" %}
 
 {% block footer %}
+{{ super() }}
  <script type="text/javascript">
     $(document).ready(function() {
         $(".toggle > *").hide();
@@ -11,4 +12,4 @@
         })
     });
 </script>
-{% endblock %}
\ No newline at end of file
+{% endblock %}