Clicking the hamburger icon in the top right to open the menu does nothing. Makes navigation rather difficult.

Looks like this is caused by jQuery not being included in Sphinx 6.0.0 (which we recently upgraded to). sphinx-rtd-theme requires it.

A fix might be to include sphinxcontrib-jquery