use js search in documentation (needs styling)