Unhide section toc on mobile#540

Open

agoujot wants to merge 17 commits intox-tools:mainfrom

agoujot:showsectoc

Commits on Jun 6, 2025

unhide section toc on mobile
agoujot
committed

Commits on Jun 13, 2025

Commits on Jun 21, 2025

Commits on Jul 14, 2025

Commits on Jul 15, 2025

Merge branch 'x-tools:main' into showsectoc
agoujot
authored

Commits on Jul 17, 2025

Commits on Jul 21, 2025

Merge branch 'main' into showsectoc
agoujot
authored

Commits on Aug 6, 2025

Commits on Aug 19, 2025

Commits on Aug 27, 2025