From 1fed36d0057a45961be7bd7ac6804c3155d16ebf Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Wed, 2 Jun 2021 17:47:07 +0200
Subject: [PATCH] docs: Deduplicate some styles

---
 doc_src/python_docs_theme/static/pydoctheme.css | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css
index 265b55014..161c96c51 100644
--- a/doc_src/python_docs_theme/static/pydoctheme.css
+++ b/doc_src/python_docs_theme/static/pydoctheme.css
@@ -42,7 +42,9 @@ div.section {
     width: 100%;
 }
 
-div.related a:hover {
+div.related a:hover,
+div.footer a:hover,
+div.sphinxsidebar a:hover {
     color: #0095C4;
 }
 
@@ -116,10 +118,6 @@ div.sphinxsidebarwrapper > ul > li > ul > li {
     margin-bottom: 0.4em;
 }
 
-div.sphinxsidebar a:hover {
-    color: #0095C4;
-}
-
 form.inline-search input,
 div.sphinxsidebar input {
     font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
@@ -243,10 +241,6 @@ div.footer {
     margin-right: 10px;
 }
 
-div.footer a:hover {
-    color: #0095C4;
-}
-
 .refcount {
     color: #060;
 }