Referring to "the search docs box on the left" doesn't make sense on mobile (which hides search in the hamburger menu). Instead, just include a search form at that point in the (html) docs.
6c8a779ce1