mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-27 10:46:33 +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.