diff options
| author | Alexandre Flament <alex@al-f.net> | 2020-12-27 14:12:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-27 14:12:56 +0100 |
| commit | 5840499bfb2a641361e35570e08b3d21abcb73f0 (patch) | |
| tree | 838cb263f97aa90fe4e47783dac954fa96fea07a /docs | |
| parent | 1ba53e6129f70d31f1af72993ce131de7f21e653 (diff) | |
| parent | af584f2c403fcf9ede7b71d28c3851b9cfd461fd (diff) | |
Merge pull request #2423 from return42/mod1-boilerplate
Speed up PyLint & revert obsolete CSS issue
Diffstat (limited to 'docs')
| -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; -} |