From 18bf7e1c390e6aecfd3eb127e7f76617fcbb554f Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 27 Aug 2023 10:38:01 -0700 Subject: 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. --- stack.yaml | 1 + 1 file changed, 1 insertion(+) (limited to 'stack.yaml') 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 -- cgit v1.2.3