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.

Sign up for GitHub

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

Jump to bottom

Missing style for :menuselection: #1392

Closed
benjaoming opened this issue Dec 16, 2022 · 1 comment · Fixed by #1426
Closed

Missing style for :menuselection: #1392

benjaoming opened this issue Dec 16, 2022 · 1 comment · Fixed by #1426
Assignees
@benjaoming
Labels
Accepted Accepted issue on our roadmap Bug A bug

Comments

@benjaoming
Copy link
Contributor

Good start: Use same style as for :guilabel:

Even better? Use a distinct but similar variation of :guilabel: so it's clear to the reader that they are not identical.

Ref: readthedocs/readthedocs.org#9801 (comment)
@benjaoming benjaoming added Bug A bug Accepted Accepted issue on our roadmap labels Dec 16, 2022
@benjaoming benjaoming mentioned this issue Dec 16, 2022
Merged
@ericholscher
Copy link
Member

Added this to our Q1 roadmap, since it's something we are motivated to get working.

@benjaoming benjaoming mentioned this issue Jan 27, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@benjaoming benjaoming

Labels
Accepted Accepted issue on our roadmap Bug A bug
Projects
📍Roadmap
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

:menuselection: style benjaoming/sphinx_rtd_theme
2 participants
@ericholscher @benjaoming