diff options
| -rw-r--r-- | docs/_themes/searx/static/searx.css | 29 | ||||
| -rw-r--r-- | utils/makefile.python | 2 |
2 files changed, 1 insertions, 30 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; -} diff --git a/utils/makefile.python b/utils/makefile.python index 42ad16d23..5d0837e00 100644 --- a/utils/makefile.python +++ b/utils/makefile.python @@ -129,7 +129,7 @@ quiet_cmd_virtualenv = PYENV usage: $ source ./$@/bin/activate # $2 path to lint quiet_cmd_pylint = LINT $@ - cmd_pylint = $(PY_ENV_BIN)/python -m pylint --rcfile $(PYLINT_RC) $2 + cmd_pylint = $(PY_ENV_BIN)/python -m pylint -j 0 --rcfile $(PYLINT_RC) $2 quiet_cmd_pytest = TEST $@ cmd_pytest = $(PY_ENV_BIN)/python -m tox -vv |