fixes #12211: Scrollspy: Navs in different tabs can interfere with each ...