From 651259e794248169e9bc54986941b5e084bf9de0 Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Mon, 25 Jan 2021 22:55:29 +0100
Subject: [PATCH] docs/theme: Fix padding when the searchbox is last

See e.g. the commands page - there's no separate TOC, so the searchbox
almost runs into the border
---
 doc_src/python_docs_theme/static/pydoctheme.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index d1181b72b..a39f4a44c 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -69,6 +69,13 @@ div.sphinxsidebar {
     float: none;
 }
 
+div#searchbox {
+    /* Cheesy: The padding is on the sphinxsidebar*wrapper*,
+       so if this is the last element the bottom padding won't apply.
+    */
+    padding-bottom: 5px;
+}
+
 div.sphinxsidebar h3, div.sphinxsidebar h4 {
     margin-top: 1.5em;
 }