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

Add local contents to Projects doc and edits to landing page #1353

Closed
wants to merge 2 commits into from

Conversation

willingc
Copy link
Contributor

@willingc willingc commented Nov 6, 2023

This PR adds a local contents to the Projects Page for easier scanning and updates prose on the main landing page.

@webknjaz
Copy link
Member

webknjaz commented Nov 6, 2023

This conflicts with #1354 since Furo don't allow in-document local toc.

@willingc
Copy link
Contributor Author

willingc commented Nov 6, 2023

@webknjaz Happy to close this as unneeded if we swap to Furo (which we should as the page sidebar would be helpful for users).

@willingc willingc closed this Nov 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants