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

Improve display of rubric fake headers with :heading-level: option #10187

Merged
merged 1 commit into from
Nov 3, 2024

Conversation

tetrapod00
Copy link
Contributor

@tetrapod00 tetrapod00 commented Nov 2, 2024

Supercedes #10111.
Depends on #10158. The minimum Sphinx version for the :heading-level: option is 7.4.1. (The CI will fail until it is updated to Sphinx 8)

In #9989 and followup PRs, real semantic headers were replaced by fake headers using the .. rubric:: directive. This PR allows those fake headers to look like real headers, using the same h2 and h3 styles.

@tetrapod00 tetrapod00 changed the title Improve display of rubric fake headers with heading-level option Improve display of rubric fake headers with :heading-level: option Nov 2, 2024
@mhilbrunner
Copy link
Member

This can be rebased now, with #10158 merged :)

@tetrapod00
Copy link
Contributor Author

Built this locally and checked the pages. They all seem to render fine. Now the rubric headers display as headers, they use actual h2, and the sidebar still functions as it did before this PR.

msedge_EUM3qGx7PY

@mhilbrunner mhilbrunner merged commit d92c2cf into godotengine:master Nov 3, 2024
1 check passed
@mhilbrunner
Copy link
Member

Thank you! 🙏

@tetrapod00 tetrapod00 deleted the rubric-headers branch November 3, 2024 23:10
@mhilbrunner
Copy link
Member

Cherrypicked to 4.3 in #10346.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants