Search tool

[ogoletti]

It would be nice to have a search tool to look for text in a syllabus pages

[francoismichel]

The search functionality is available when Sphinx pages are used.

We will consider adding a similar functionality for normal syllabus pages.