diff options
| -rw-r--r-- | test/command/9953.md | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/command/9953.md b/test/command/9953.md new file mode 100644 index 000000000..3a2100ec6 --- /dev/null +++ b/test/command/9953.md @@ -0,0 +1,29 @@ +``` +% pandoc -f markdown -t native -s +--- +header-includes: | + \makeatletter + \let\old@verbatim@font=\verbatim@font + \def\verbatim@font{% + \fontsize{10}{12}% + \old@verbatim@font + } + \makeatother +... +^D +Pandoc + Meta + { unMeta = + fromList + [ ( "header-includes" + , MetaBlocks + [ RawBlock + (Format "tex") + "\\makeatletter\n\\let\\old@verbatim@font=\\verbatim@font\n\\def\\verbatim@font{%\n\\fontsize{10}{12}%\n\\old@verbatim@font\n}\n\\makeatother" + ] + ) + ] + } + [] + +``` |