mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-19 02:22:09 +08: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.