From b6dcf908164733dd99051123a3cbe78f9fed9feb Mon Sep 17 00:00:00 2001
From: Markus Heiser <markus.heiser@darmarit.de>
Date: Sun, 27 Dec 2020 11:27:42 +0100
Subject: [PATCH] Revert "[fix] sphinx 3.1 CSS issues"

This reverts commit 0616684baa58b86cac5df6546432d4372f965fe2.

Since PR https://github.com/sphinx-doc/sphinx/pull/7878 has been merged into
Spinx-doc (v3.1.2), this patch is no longer needed:

  See sphinx-doc project, PR 7838 & 7484 with elementary patch to the basic CSS:

  - https://github.com/sphinx-doc/sphinx/issues/7838#issuecomment-646009605
  - https://github.com/sphinx-doc/sphinx/pull/7484#issuecomment-646058972

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
---
 docs/_themes/searx/static/searx.css | 29 -----------------------------
 1 file changed, 29 deletions(-)

diff --git a/docs/_themes/searx/static/searx.css b/docs/_themes/searx/static/searx.css
index 0f2eff72..ae742a4e 100644
--- a/docs/_themes/searx/static/searx.css
+++ b/docs/_themes/searx/static/searx.css
@@ -138,32 +138,3 @@ caption {
   caption-side: top;
   text-align: left;
 }
-
-/* bugs since sphinx 3.1
-
-See sphinx-doc project, PR 7838 & 7484 with elementary patch to the basic CSS:
-
-- https://github.com/sphinx-doc/sphinx/issues/7838#issuecomment-646009605
-- https://github.com/sphinx-doc/sphinx/pull/7484#issuecomment-646058972
-
-*/
-
-li > p:first-child {
-    margin-top: 0;
-}
-
-li > p:last-child {
-    margin-bottom: 0;
-}
-
-div.admonition dl {
-    margin-bottom: 0;
-}
-
-div.sidebar {
-    clear: none;
-}
-
-div.admonition, div.topic, pre {
-    clear: none;
-}