Skip to content

Conversation

@bdesham
Copy link
Contributor

@bdesham bdesham commented May 27, 2025

In commit 9190b19, we began to use the ID prefix for the <aside> holding the footnotes. In commit 41da8ad, we started to use a <section> for this instead and the ID-prefix functionality was lost. This commit resumes using the ID prefix in the ID of this element so that multiple documents can be combined into one without ID conflicts.

In commit 9190b19, we began to use the ID prefix for the <aside>
holding the footnotes. In commit 41da8ad, we started to use a
<section> for this instead and the ID-prefix functionality was lost.
This commit resumes using the ID prefix in the ID of this element so
that multiple documents can be combined into one without ID conflicts.
@jgm jgm merged commit ccc0a5a into jgm:main May 27, 2025
11 of 14 checks passed
@jgm
Copy link
Owner

jgm commented May 27, 2025

great, thanks!

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