DOC: Search feature for docs.indiscale.com

I don't know, to which repo this issue should belong...

Can we implement a global search over full https://docs.indiscale.com ?