[Help Wanted] Add search bar to mobile web experience for docs

[it33]

Everyone loves the new search experience for docs on desktop:

It's a little more difficult to use on mobile:

[jasonblais]

Closed via #665, thanks @shieldsjared!