Does anyone know what is needed to make the html search functionality show the phrase where the match was encountered (including highlighting of the found term)?
For example, this functionality works nice on the following pages:
It doesn't work, even on my local development machine.
I tried switching to a different theme than the read-the-docs theme, but no effect.
Is there some configuration option in conf.py?