mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 17:56:32 +00:00
Use latest skylighting-format-blaze-html.
This works around a longstanding iOS Safari bug that caused long lines to be displayed in a different font size in highlighted code. Closes #7248.
This commit is contained in:
+1
-1
@@ -4,7 +4,7 @@ packages: .
|
||||
pandoc-cli
|
||||
tests: True
|
||||
flags: +embed_data_files
|
||||
constraints: skylighting-format-blaze-html >= 0.1.1,
|
||||
constraints: skylighting-format-blaze-html >= 0.1.1.1,
|
||||
skylighting-format-context >= 0.1.0.2
|
||||
|
||||
-- source-repository-package
|
||||
|
||||
@@ -25,6 +25,7 @@ extra-deps:
|
||||
- texmath-0.12.8.1
|
||||
- skylighting-core-0.14
|
||||
- skylighting-0.14
|
||||
- skylighting-format-blaze-html-0.1.1.1
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-21.7
|
||||
|
||||
Reference in New Issue
Block a user