All commit authors signed the Contributor License Agreement.

Sadly, this doesn't work 100% because we create multiple searchbox elements per page with our own layout.

I'm guessing this would be a little more involved in restructuring the layout template to reduce the duplication, and thus enable taking advantage of their already-supplied functionality. If there's appetite for that, I'll pursue it.

Alternative to#131

Nice, I didn't know this was a Sphinx option, I'd prefer to use this than the custom JavaScript in#131. (Although there's not much JS in there.)

https://www.sphinx-doc.org/en/master/usage/theming.html says:

enable_search_shortcuts (true or false): Allow jumping to the search box with/ and allow removal of search highlighting withEsc.

Defaults toTrue.

Does it really default toTrue?

We don't have/ jumping, but we do haveEsc clearing. Where is theEsc coming from?

Turns out, it does default to True, so this PR is also unnecessary!
That's why the Esc key works already.

Pressing the slash key today does in fact work, however it places the focus on the hidden mobile nav search box since it appears first in the HTML.

🤔

I wonder if we still need an explicit mobile nav, or if the signature could be changed so it still works correctly but does not appear first in the selector.

Even simpler!#141