OK. The latest Theme version (5.3) does seem to fix this menu and slider problem, so all good for now.

(I also like the mobile adaptive version too – works well!).