mirror of
https://github.com/jgm/pandoc.git
synced 2026-07-12 12:27:21 +00:00
610 B
610 B
% 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"
]
)
]
}
[]