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 | |
| parent | 1ba53e6129f70d31f1af72993ce131de7f21e653 (diff) | |
| parent | af584f2c403fcf9ede7b71d28c3851b9cfd461fd (diff) | |
Merge pull request #2423 from return42/mod1-boilerplate
Speed up PyLint & revert obsolete CSS issue
| -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 |