From ca3d22665925421f7f96e05890b294d39a0b064a Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Wed, 27 Jan 2021 22:02:35 +0100
Subject: [PATCH] docs: Fix TOC text and put them in a div

This allows us to flex them together, so now you get one column on the
left with the title "Documents" and one on the right saying
"Sections" on narrow screens.

On wide screens it doesn't say "Table Of Contents" twice.

This should make it clearer
---
 doc_src/python_docs_theme/globaltoc.html | 13 +++++++++++++
 doc_src/python_docs_theme/localtoc.html  | 13 +++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 doc_src/python_docs_theme/globaltoc.html
 create mode 100644 doc_src/python_docs_theme/localtoc.html

diff --git a/doc_src/python_docs_theme/globaltoc.html b/doc_src/python_docs_theme/globaltoc.html
new file mode 100644
index 000000000..90d99f648
--- /dev/null
+++ b/doc_src/python_docs_theme/globaltoc.html
@@ -0,0 +1,13 @@
+{#
+    basic/globaltoc.html
+    ~~~~~~~~~~~~~~~~~~~~
+
+    Sphinx sidebar template: global table of contents.
+
+    :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+#}
+<div>
+<h3><a href="{{ pathto(master_doc)|e }}">{{ _('Documents') }}</a></h3>
+{{ toctree(includehidden=theme_globaltoc_includehidden, collapse=theme_globaltoc_collapse, maxdepth=theme_globaltoc_maxdepth) }}
+</div>
diff --git a/doc_src/python_docs_theme/localtoc.html b/doc_src/python_docs_theme/localtoc.html
new file mode 100644
index 000000000..4f4beccf9
--- /dev/null
+++ b/doc_src/python_docs_theme/localtoc.html
@@ -0,0 +1,13 @@
+{#
+    basic/localtoc.html
+    ~~~~~~~~~~~~~~~~~~~
+
+    Sphinx sidebar template: local table of contents.
+
+    :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+#}
+<div>
+<h4><a href="{{ pathto(master_doc)|e }}">{{ _('Sections') }}</a></h4>
+{{ toc }}
+</div>