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.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Text/Pandoc/Writers/HTML.hs b/src/Text/Pandoc/Writers/HTML.hs
index 4c5a1d382..0f7bc85c8 100644
--- a/src/Text/Pandoc/Writers/HTML.hs
+++ b/src/Text/Pandoc/Writers/HTML.hs
@@ -544,14 +544,14 @@ footnoteSection opts refLocation startCounter notes = do
                              ! customAttribute "epub:type" "footnotes" $ x
         | html5
         , refLocation == EndOfDocument
-        , slideVariant == RevealJsSlides -- need a section for a new slide:
+        -- Note: we need a section for a new slide in slide formats.
                 = H5.section ! A5.id "footnotes"
                              ! A5.class_ className
                              ! A5.role "doc-endnotes"
                              $ x
         | html5 = H5.aside   ! prefixedId opts "footnotes"
                              ! A5.class_ className
-                             ! A5.role "doc-endnotes"
+                             ! A5.role "doc-footnote"
                              $ x
         | slideVariant /= NoSlides = H.div ! A.class_ "footnotes slide" $ x
         | otherwise = H.div ! A.class_ className $ x