intervene
intervene copied to clipboard
search not working in readthedocs
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:
I'm using Mac OS X, Chrome Version 88.0.4324.182 (Official Build) (x86_64)
Thanks for reporting this! I will look into this shortly.