web: Add 'highlight' to URLs of search results.

Search terms may be highlighted in the document themselves.. At least
they are in Sphinx-generated HTML files.