From 12e783e30ec1147ea3e210dab8e56d066bac15ad Mon Sep 17 00:00:00 2001
From: Johannes Altmanninger <aclopte@gmail.com>
Date: Tue, 5 Nov 2019 08:45:57 +0100
Subject: [PATCH] sphinx docs: put search box above TOC

Makes it visible without having to scroll down.
[ci skip]
---
 sphinx_doc_src/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sphinx_doc_src/conf.py b/sphinx_doc_src/conf.py
index fe9ad2180..dc06c190d 100644
--- a/sphinx_doc_src/conf.py
+++ b/sphinx_doc_src/conf.py
@@ -129,7 +129,7 @@ html_static_path = ["_static"]
 # default: ``['localtoc.html', 'relations.html', 'sourcelink.html',
 # 'searchbox.html']``.
 #
-html_sidebars = {"**": ["globaltoc.html", "localtoc.html", "searchbox.html"]}
+html_sidebars = {"**": ["globaltoc.html", "searchbox.html", "localtoc.html"]}
 
 
 # -- Options for HTMLHelp output ---------------------------------------------