diff options
| author | John MacFarlane <[email protected]> | 2023-08-27 10:38:01 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-08-27 10:39:22 -0700 |
| commit | 18bf7e1c390e6aecfd3eb127e7f76617fcbb554f (patch) | |
| tree | de9f484fa9a6ea70348b52f1e6d9bfe698ca9669 /stack.yaml | |
| parent | 6d43490b3a0cf623f5c346ee1de539936a215031 (diff) | |
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.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |