Sidebar and index overhaul#1220

Closed

panglesd wants to merge 6 commits intoocaml:masterfrom

panglesd:complete-sidebar

Commits on Oct 18, 2024

Commits on Oct 21, 2024

daniel's suggestions on vertical space
panglesd
committed

Commits on Oct 31, 2024

Revert disabling of implementations
panglesd
committed