2 Commits (11dc6df5be5ae1da8d570e440f97060d2284dd13)

Author	SHA1	Message	Date
Norwin	68059ab697	docs: move search input to navbar (#20551) ... * remove search item from sidebar * fix search for some docs languages Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>	3 years ago
John Olheiser	3b0303a4fc	Implement documentation search (#8937) ... * Implement documentation search Signed-off-by: jolheiser <john.olheiser@gmail.com> Co-Authored-By: guillep2k <18600385+guillep2k@users.noreply.github.com>	6 years ago