From aecd639feee548724d5f4db1088177b081dcde42 Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Sun, 4 Oct 2020 11:28:22 +0200
Subject: [PATCH] docs: Reduce min-width

This was 450px, which is still quite wide, it also shows up weird in
firefox.

So let's use 150px, which is still basically readable.

[ci skip]
---
 doc_src/python_docs_theme/static/pydoctheme.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index abd981d86..8eff8543d 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -87,6 +87,7 @@ div.sphinxsidebar input[type=text] {
 
 div.body {
     padding: 0 0 0 1.2em;
+    min-width: 150px;
 }
 
 div.body p {