fish-shell/doc_src/python_docs_theme/static
Fabian Homborg 86ab81dadf Remove searchtools.js
With sphinx 4.5.0:

1. Some of our builtins actually give results (cd, end, set)
2. Some give broken results (and, if, or)
3. Only "for" even triggers the help page we hacked in

So this is of dubious use, and removing it gets us out of the awkward situation of shipping it.

Plus upstream sphinx has ditched jquery, so we would have to rewrite it anyway.
2022-05-19 17:38:41 +02:00
..
fish.png run fish.png through imageoptim 2021-10-16 14:33:12 -07:00
pydoctheme.css docs/index: reword default shell section 2022-03-29 13:33:06 +08:00
pygments.css Doc theme: Use code font for in-line commands as well 2022-02-24 18:12:22 +01:00