Merge pull request #2423 from return42/mod1-boilerplate
Speed up PyLint & revert obsolete CSS issue
commit5840499bfb2a641361e35570e08b3d21abcb73f0
authorAlexandre Flament <alex@al-f.net>
dateSun 27 Dec 2020, 14:12 (6 years ago)
parent1ba53e6af584f2
docs/_themes/searx/static/searx.css−29
@@ -138,32 +138,3 @@ caption {
138138 caption-side: top;
139139 text-align: left;
140140}
141−
142−/* bugs since sphinx 3.1
143−
144−See sphinx-doc project, PR 7838 & 7484 with elementary patch to the basic CSS:
145−
146−- https://github.com/sphinx-doc/sphinx/issues/7838#issuecomment-646009605
147−- https://github.com/sphinx-doc/sphinx/pull/7484#issuecomment-646058972
148−
149−*/
150−
151−li > p:first-child {
152− margin-top: 0;
153−}
154−
155−li > p:last-child {
156− margin-bottom: 0;
157−}
158−
159−div.admonition dl {
160− margin-bottom: 0;
161−}
162−
163−div.sidebar {
164− clear: none;
165−}
166−
167−div.admonition, div.topic, pre {
168− clear: none;
169−}
utils/makefile.python+1−1
@@ -129,7 +129,7 @@ quiet_cmd_virtualenv = PYENV usage: $ source ./$@/bin/activate
129129
130130# $2 path to lint
131131quiet_cmd_pylint = LINT $@
132− cmd_pylint = $(PY_ENV_BIN)/python -m pylint --rcfile $(PYLINT_RC) $2
132+ cmd_pylint = $(PY_ENV_BIN)/python -m pylint -j 0 --rcfile $(PYLINT_RC) $2
133133
134134quiet_cmd_pytest = TEST $@
135135 cmd_pytest = $(PY_ENV_BIN)/python -m tox -vv