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

Misc. documentation fixes #8869

Closed
kuhlaid opened this issue Jul 29, 2022 · 0 comments · Fixed by #9011
Closed

Misc. documentation fixes #8869

kuhlaid opened this issue Jul 29, 2022 · 0 comments · Fixed by #9011
Milestone

Comments

@kuhlaid
Copy link
Contributor

kuhlaid commented Jul 29, 2022

A few markdown and CSS updates to the Sphinx documentation:

  1. Fixing broken link to Sphinx in documentation footer 2c1e5df

  2. Adding missing CSS for the .current CSS selector, to highlight current page in the menu aed167b

  3. Switching @context from a link to inline literal since this text should not link to anything 10bc464

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 a pull request may close this issue.

2 participants