Search doesn't work on basisresearch.github.io

[dimkab]

Writing a query and hitting enter produces the following:

[eb8680]

Thanks for catching this. Does search work when you build the docs locally?

[dimkab]

No, same problem. Looking at the page inspector shows the error: "jQuery is not defined" in search.html lines 142,147. Tested with Chrome, Safari and Firefox on Mac.

[dimkab]

Looks relevant: https://github.com/sphinx-doc/sphinx/issues/7405

[dimkab]

adding "sphinxcontrib.jquery" to the list of extensions in conf.py should do the trick (checked locally).

[eb8680]

Great, can you open a PR with a fix? Thanks