diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-12-04 09:22:58 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-12-04 09:22:58 -0800 |
| commit | 41da8ad9e03b9f7c97a1c9745f06bdbc28acd21f (patch) | |
| tree | 13ed99584f2dc6b942973ec8d919628c97c8288b /stack.yaml | |
| parent | dbdb4d9c1f16f57f4c66a84ed71b7837aeb69208 (diff) | |
HTML5 writer footnote changes (aria-role, element type).
* To conform to validator's expectations, `doc-footnote` role is used
with `aside` and `doc-endnotes` with `section`.
* `aside` is used only for notes at ends of sections or blocks;
if all the notes come at the end of the document, `section` is
used so we can have the `doc-endnotes` role.
Diffstat (limited to 'stack.yaml')
0 files changed, 0 insertions, 0 deletions