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 ?

added EnhancementProposed label

assigned to @daniel

closed

moved to caosdb/caosdb.indiscale.com#2

added CloseDuplicate label

mentioned in commit caosdb-pyinttest@2a794bd3

mentioned in commit 053e30b5

mentioned in merge request caosdb-pyinttest!55 (merged)

mentioned in merge request !83 (merged)

mentioned in commit caosdb-pyinttest@086c7587

mentioned in commit d7ba14fa

mentioned in merge request caosdb-pyinttest!56 (merged)

mentioned in merge request caosdb-pyinttest!57 (merged)

mentioned in commit caosdb-pyinttest@fdb46c54