2 Commits (0ee96da052edd3fe25b66d2c9fd5fd3d01171091)

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