intervene icon indicating copy to clipboard operation
intervene copied to clipboard

search not working in readthedocs

Open dllahr opened this issue 3 years ago • 1 comments

Hi I'm not sure if this should be reported here but when I try to use the search bar in readthedocs for example: https://intervene.readthedocs.io/en/latest/search.html?q=venn&check_keywords=yes&area=default

it returns 0 results, even though I'm searching for something that should be there i.e. "venn"

Here's a screenshot: image

I'm using Mac OS X, Chrome Version 88.0.4324.182 (Official Build) (x86_64)

dllahr avatar Feb 23 '21 00:02 dllahr

Thanks for reporting this! I will look into this shortly.

asntech avatar Feb 23 '21 07:02 asntech