Инструмент документации - поиск в HTML-файлах из шаблонов django

Question

Я работаю над веб-сайтом с использованием django. У меня есть раздел документации с простыми HTML-файлами (т.е. не относящимися к базам данных django, просто текст). Эти файлы были преобразованы из LaTeX в HTML.

Я хотел бы добавить панель поиска в свою документацию, чтобы пользователь мог искать слово, чтобы получить некоторую помощь, например, с помощью:

• выделение слова в тексте,
• возвращает список URL-адресов страниц, на которых встречается это слово,
• сообщая мне, сколько раз это слово встречается в каждом разделе таблицы содержания,
• ...

Я искал в Интернете какое-то время, но не смог найти ничего о том, как это сделать. Буду признателен за любую помощь / советы.

Заранее спасибо.