diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-10-26 15:57:55 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-26 15:57:55 -0700 |
commit | 76886678a6be4db6e8e60ade514710bfe3e62b28 (patch) | |
tree | b86d18a2b6d4df5b6e8c6d2ed02bac393a55f6fc /src/Text/Pandoc/Readers/HTML.hs | |
parent | 9ff04a947e39746ef1351111cda18d13644a1cd8 (diff) | |
download | pandoc-76886678a6be4db6e8e60ade514710bfe3e62b28.tar.gz |
Use skylighting 0.4.2.
This prevents the problem with extra space around highlighted
code blocks (closes #3996).
Note that we no longer put an enclosing div around highlighted
code blocks. The pre is the outer element, just as for unhighlighted
blocks.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
0 files changed, 0 insertions, 0 deletions