mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-28 03:06:30 +00:00
Using "Footnote Block Text" for the style name, so it can be given a different font size if footnotes are. Closes #9243.
Using "Footnote Block Text" for the style name, so it can be given a different font size if footnotes are. Closes #9243.