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 -- You received this message because you are subscribed to the Google Groups "ArangoDB" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
