2 Commits (079ef568247f9216a6e66c7e6038e11cc2bdd5f5)

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