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
More docs updates #3674
More docs updates #3674
Conversation
Modulo not knowing if this will fix the binder badge workflow, this is ready for review (and 🎃 merge is again fine). |
These changes are all fantastic. Minor points:
|
the first two are actually radios, was trying to "act like a local" and use bootstrap sugar. I'll try a treatment without.
Could move to the bottom. Actually, it would be lovely to have a sidebar that was "open in lite," next to "edit in github".
I'm just working off the upstream language guidance. There might be things there other than the API at some point, though can't tell what those would be. |
Thanks! |
Cool. I think that's all the high-value stuff that wouldn't require a new release of something. |
Thanks again for the massive amount of overhauling you did! |
References
Changes
master
->main
pull_request_opened
)