Nav add search/filter box?

[jyoungblood]

You can just cmd+f to search normally (which is the beauty of this format, imo)...but what if we had an optional search box? It would be super helpful on mobile devices.

Like type in the box and the window can automatically scroll to the first result. Maybe it can highlight the matching text? Maybe there's a control for "find next"?

Here's a partial example: https://stackoverflow.com/questions/4327416/javascript-find-text-within-a-page-and-jump-to-location-in-page