Documentation improvment

[lorenzofox3]

the following items should be implemented in the documentation. Ones might worth their own tickets.

[ ] make a searchable index of the documentation [ ] make the documentation website more mobile friendly [ ] compress by default the generated pages and the assets [ ] make the documentation searchable offline [ ] navigation should reflect the current page [ ] ability to add a previous/next on the navigation