4402dd6 removed custom search tools to use defaults from sphinx
removed custom search tools to use defaults from sphinx
~tfardet pushed to ~tfardet/lightndark-sphinx-theme git
New git repository added