v7.2.4

7.2.4 (2024-12-21)

Bug Fixes

• toc not visible when switching from mobile to desktop mode (#2139) (32051da)
• ui: left borderline of TOC is notched (#2140) (8a4d0bc)