2 Commits (df512f77b7b6fac3efdda265a3ab9bb95a952d69)

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>	5 years ago