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!