From 18bf7e1c390e6aecfd3eb127e7f76617fcbb554f Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 27 Aug 2023 10:38:01 -0700 Subject: [PATCH] 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. --- cabal.project | 2 +- stack.yaml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/cabal.project b/cabal.project index 1565d8005..a354d2163 100644 --- a/cabal.project +++ b/cabal.project @@ -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 diff --git a/stack.yaml b/stack.yaml index 3dd044ab5..8c873ed4e 100644 --- a/stack.yaml +++ b/stack.yaml @@ -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