2 Commits (ee37edc4655244fe50b1ff9be7aa28ef86b8b643)

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