Added search to html docs.