From f6a6537f7b8893d82439cf838042dbb97dd1de7f Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Thu, 10 Jun 2021 20:51:37 +0200
Subject: [PATCH] css: Some minor adjustments

Make borders less bright in dark version, add some padding to the body.
---
 doc_src/python_docs_theme/static/pydoctheme.css | 14 +++++++++++++-
 share/tools/web_config/fishconfig.css           |  2 ++
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index 6e98a3288..4b0439f11 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -139,7 +139,7 @@ div.sphinxsidebar input[type=text] {
 }
 
 div.body {
-    padding: 0 0 0 1.2em;
+    padding: 10px 0 0 1.2em;
     min-width: 150px;
 }
 
@@ -366,6 +366,18 @@ kbd {
         background-color: #101020;
     }
 
+    div.sphinxsidebar {
+        border-right: 1px solid #666;
+    }
+
+    div.related:first-child {
+        border-bottom: 1px solid #666;
+    }
+
+    div.related {
+        border-top: 1px solid #666;
+    }
+
     div.sphinxsidebar a, div.footer {
         color: #CCC;
     }
diff --git a/share/tools/web_config/fishconfig.css b/share/tools/web_config/fishconfig.css
index 3b6a04806..45bd6479a 100644
--- a/share/tools/web_config/fishconfig.css
+++ b/share/tools/web_config/fishconfig.css
@@ -648,9 +648,11 @@ img.delete_icon {
     }
     .tab {
         background-color: black;
+        border: 1px solid #222;
     }
     .selected_tab {
         background-color: #202028;
+        border-bottom: none;
     }
 
     #tab_contents {