fix(docs): move TOC to the right nav bar to free up vertical space#4552

Merged

chenrui333 merged 2 commits intorunatlantis:mainfrom jippi:docs-move-toc-to-right-nav

May 14, 2024

+4-16

Commits on May 14, 2024