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

@@ -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;
     }

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 {