I fixed it!  thanks for your hint about the catchbox-menu.min.js not working.  I inspected the page (chrome developer tools for the win!) and saw that jQuery was not loading 🙁 whoops. Once I fixed that your js and the themes tinynav Menu works just fine.  Many thanks for looking into this!