Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 2 commits into from
May 14, 2024

Conversation

jippi
Copy link
Contributor

@jippi jippi commented May 14, 2024

what

Moving the Table of Content to the TOC right-bar to free up space

Zight 2024-05-14 at 9 09 11 PM jpg

why

It makes it easier to navigate long pages such as the Server Configuration page by having the TOC persistently available on the right side.

There can be follow-up tuning trimming down the individual headlines a bit to make it easier to scan, but feel like it should be its own change set.

@jippi jippi requested review from a team as code owners May 14, 2024 19:10
@jippi jippi requested review from jamengual, lukemassa and nitrocode and removed request for a team May 14, 2024 19:10
@github-actions github-actions bot added docs Documentation website labels May 14, 2024
Copy link
Member

@chenrui333 chenrui333 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd love to have lots of syntax changes into a separate PR

@jippi jippi force-pushed the docs-move-toc-to-right-nav branch from f466387 to 0a0915c Compare May 14, 2024 19:17
@jippi
Copy link
Contributor Author

jippi commented May 14, 2024

done :)

@jippi jippi force-pushed the docs-move-toc-to-right-nav branch from 0a0915c to 2bfcf08 Compare May 14, 2024 19:21
@chenrui333
Copy link
Member

make sense 💯

@chenrui333 chenrui333 merged commit 4794bc0 into runatlantis:main May 14, 2024
24 checks passed
@jippi jippi deleted the docs-move-toc-to-right-nav branch May 14, 2024 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation website
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants