diff options
| -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; -} |