broken search tool on docs site

[Alex Greif]

Hi,

on the site

https://docs.arangodb.com/

klicking on the small magnifieing glass between the vertical bars and the "A" has a broken affect.

The left menu section moves down but nothing else happen.

Maybe a search text input field should appear over the menu section?

thanks,

Alex.

[Simran Brucherseifer]

The magnifying glass is a Gitbook artifact, it somehow sneaked back in there.

We actually disabled Gitbook's own search, because it can't handle that many content and didn't yield good search results.

Please use the Google Custom Search in the top right corner. You might not see it on mobile devices, but that will be resolved very soon.

Thanks,

Simran