From e5a1da8b2249b36930ca1a565a1308a0541a1e68 Mon Sep 17 00:00:00 2001
From: Fabian Boehm <FHomborg@gmail.com>
Date: Wed, 8 Jun 2022 18:09:08 +0200
Subject: [PATCH] Remove unneeded guff

---
 .../python_docs_theme/static/pydoctheme.css   | 99 +++----------------
 1 file changed, 15 insertions(+), 84 deletions(-)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index 2763ad9bc..b4e90c264 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -1,5 +1,3 @@
-/* @import url("classic.css");
- */
 :root {
   color-scheme: light dark; /* both supported */
 }
@@ -29,6 +27,7 @@ body {
 /* SPHINX IMPORT */
 
 body {
+  /* These stay, assuming some browsers pick different defaults */
   font-size: 100%;
   background-color: #eeeefa;
   color: #000;
@@ -41,6 +40,7 @@ div.related ul {
   padding: 0 0 0 10px;
   list-style: none;
 }
+
 div.related {
   line-height: 30px;
   color: #666666;
@@ -51,10 +51,6 @@ div.related li {
   display: inline;
 }
 
-a {
-  text-decoration: none;
-}
-
 div.related h3 {
   display: none;
 }
@@ -69,18 +65,8 @@ div.sphinxsidebar {
   overflow-wrap: break-word;
 }
 
-div.documentwrapper {
-  width: 100%;
-  float: none;
-}
-
-div.highlight pre, table.highlighttable pre {
-  margin: 0;
-}
-
 pre {
   padding: 5px;
-  color: unset;
   line-height: 120%;
   overflow: auto;
   overflow-y: hidden;
@@ -89,13 +75,12 @@ pre {
 div.body h1 {
   font-size: 200%;
 }
+
 div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
   font-weight: normal;
 }
 
 div.body p, div.body dd, div.body li, div.body blockquote {
-  text-align: justify;
-  -moz-hyphens: auto;
   -ms-hyphens: auto;
   -webkit-hyphens: auto;
   hyphens: auto;
@@ -104,31 +89,25 @@ div.body p, div.body dd, div.body li, div.body blockquote {
 :not(li) > ol > li:last-child > :last-child, :not(li) > ul > li:last-child > :last-child {
   margin-bottom: 0px;
 }
+
 div.sphinxsidebar ul ul {
   margin-top: 0;
   margin-bottom: 0;
 }
+
 div.sphinxsidebar ul ul, div.sphinxsidebar ul.want-points {
   margin-left: 20px;
   list-style: square;
 }
+
 div.sphinxsidebar ul {
   margin: 10px;
   padding: 0;
   color: #444444;
   margin: 10px;
-  padding: 0;
   list-style: none;
 }
 
-div.sphinxsidebar h3 {
-  font-size: 1.4em;
-  font-weight: normal;
-  margin: 0;
-    margin-top: 0px;
-  padding: 0;
-}
-
 div.sphinxsidebarwrapper {
   padding: 10px 5px 0 10px;
 }
@@ -137,32 +116,25 @@ div[class*="highlight-"] {
   margin: 1em 0;
 }
 
-dl.footnote > dt, dl.citation > dt {
-  float: left;
-  margin-right: 0.5em;
-}
-
 div.sphinxsidebar #searchbox input[type="text"] {
-    float: left;
     width: 80%;
     padding: 0.25em;
-    box-sizing: border-box;
 }
 
 div.sphinxsidebar #searchbox input[type="submit"] {
-  float: left;
   width: 20%;
-  border-left: none;
   padding: 0.25em;
-  box-sizing: border-box;
 }
 
 div.sphinxsidebar form {
   margin-top: 10px;
 }
 
-div.sphinxsidebar #searchbox form.search {
-  overflow: hidden;
+div.sphinxsidebar h3 {
+  font-size: 1.4em;
+  font-weight: normal;
+  margin: 0;
+  padding: 0;
 }
 
 div.sphinxsidebar h4 {
@@ -177,10 +149,13 @@ div.body h2 {
   font-size: 160%;
 }
 
+a {
+  text-decoration: none;
+}
+
 a.headerlink {
   font-size: 0.8em;
   padding: 0 4px 0 4px;
-  text-decoration: none;
   visibility: hidden;
 }
 
@@ -188,10 +163,6 @@ a.headerlink {
   visibility: visible;
 }
 
-a.headerlink:hover {
-  background-color: #aaaaaa;
-}
-
 a:hover, div.footer a {
   text-decoration: underline;
 }
@@ -246,7 +217,6 @@ div.related {
     padding: 0.5em 0;
     border-top: 1px solid #ccc;
     margin-top: 0;
-    background-color: inherit;
 }
 
 div.section {
@@ -309,15 +279,6 @@ div.sphinxsidebar::-webkit-scrollbar-thumb {
   border-radius: 10px;
 }
 
-div.document {
-    display: block;
-}
-
-div.document, div.body, div.warning {
-    background-color: inherit;
-    color: inherit;
-}
-
 div#searchbox {
     /* Cheesy: The padding is on the sphinxsidebar*wrapper*,
        so if this is the last element the bottom padding won't apply.
@@ -327,7 +288,6 @@ div#searchbox {
 
 div.sphinxsidebar h3, div.sphinxsidebar h4 {
     margin-top: 1em;
-    font-family: inherit;
 }
 
 div.sphinxsidebarwrapper > h3:first-child {
@@ -344,8 +304,6 @@ ul li, div.body li {
 
 form.inline-search input,
 div.sphinxsidebar input {
-    /* Inputs typically have different default fonts, remove that idea */
-    font-family: inherit;
     border: 1px solid #999999;
     font-size: smaller;
     border-radius: 3px;
@@ -371,7 +329,6 @@ div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
     margin: 0;
     border: 0;
     padding: 0.3em 0;
-    font-family: inherit;
 }
 
 div.body hr {
@@ -429,10 +386,6 @@ div.body a:hover {
     color: #00B0E4;
 }
 
-tr, pre {
-    background-color: inherit;
-}
-
 code {
     /* Make inline-code better visible */
     background-color: rgba(20,20,80, .1);
@@ -465,11 +418,6 @@ tt, code, pre, dl > dt span ~ em, #synopsis p, #synopsis code, .command {
     line-height: 1em;
 }
 
-pre, div[class*="highlight-"] {
-    /* For some reason sphinx since 3.1.2 sets "clear: both" here, which breaks in interesting ways */
-    clear: unset;
-}
-
 div.body tt {
     border-radius: 3px;
 }
@@ -648,14 +596,6 @@ div.body .internal.reference:link {
     font-size: 90%;
 }
 
-.sig-name {
-    font-size: unset;
-}
-
-.sig, dl.envvar {
-    font-family: unset;
-}
-
 @media (prefers-color-scheme: dark) {
     body {
         background: linear-gradient(to top, #1f1f3f 0%,#051f3a 100%);
@@ -666,11 +606,6 @@ div.body .internal.reference:link {
         box-shadow: 0 0 5px 1px #000;
     }
 
-    div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
-        background-color: inherit;
-        color: inherit;
-    }
-
     div.body pre, code {
         border: 1px solid #536;
     }
@@ -744,8 +679,4 @@ div.body .internal.reference:link {
     code {
         background-color: rgba(200, 200, 255, .2);
     }
-
-    .warning code {
-        background-color: #604040;
-    }
 }