diff options
author | Markus Heiser <markus.heiser@darmarit.de> | 2020-12-27 11:27:42 +0100 |
---|---|---|
committer | Markus Heiser <markus.heiser@darmarit.de> | 2020-12-27 11:27:42 +0100 |
commit | b6dcf908164733dd99051123a3cbe78f9fed9feb (patch) | |
tree | 031c944e0d05f55fa2752df27bcdbe9b57094720 /docs/_themes | |
parent | 1ba53e6129f70d31f1af72993ce131de7f21e653 (diff) | |
download | searxng-b6dcf908164733dd99051123a3cbe78f9fed9feb.tar.gz searxng-b6dcf908164733dd99051123a3cbe78f9fed9feb.zip |
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>
Diffstat (limited to 'docs/_themes')
-rw-r--r-- | docs/_themes/searx/static/searx.css | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/docs/_themes/searx/static/searx.css b/docs/_themes/searx/static/searx.css index 0f2eff728..ae742a4e0 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; -} |