Board Thread:Support Requests - Getting Technical/@comment-32092932-20200515224207/@comment-9605025-20200516014438

That wiki uses custom JS to accomplish that. They have a lot of CSS/JS and it is hard to track down all the dependencies at a quick glance. Perhaps you should just ask one of the local admins for help with copying the feature.