https://wphelp.blog/how-to-fix-the-divi-search-tool-in-the-header-problem/