Disable JuliaMono ligatures, fixes #1610 (#1617)

CHANGELOG.md

@@ -4,6 +4,8 @@
 
 * ![Enhancement][badge-enhancement] The version of Documenter used for generating a document is now displayed in the build information. ([#1609][github-1609], [#1611][github-1611])
 
+* ![Bugfix][badge-bugfix] The HTML front end no longer uses ligatures when displaying code (with JuliaMono). ([#1610][github-1610], [#1617][github-1617])
+
 ## Version `v0.27.2`
 
 * ![Enhancement][badge-enhancement] The default font has been changed to `Lato Medium` so that the look of the text would be closer to the old Google Fonts version of Lato. ([#1602][github-1602], [#1604][github-1604])
@@ -834,7 +836,9 @@
 [github-1602]: https://github.com/JuliaDocs/Documenter.jl/issues/1602
 [github-1604]: https://github.com/JuliaDocs/Documenter.jl/pull/1604
 [github-1609]: https://github.com/JuliaDocs/Documenter.jl/pull/1609
+[github-1610]: https://github.com/JuliaDocs/Documenter.jl/issues/1610
 [github-1611]: https://github.com/JuliaDocs/Documenter.jl/pull/1611
+[github-1617]: https://github.com/JuliaDocs/Documenter.jl/pull/1617
 
 [julia-38079]: https://github.com/JuliaLang/julia/issues/38079
 [julia-39841]: https://github.com/JuliaLang/julia/pull/39841

assets/html/scss/documenter/_patches.scss

@@ -35,6 +35,10 @@
   }
 }
 
+pre, code {
+  font-variant-ligatures: no-contextual;
+}
+
 // We want to be able to disable certain breadcrumb components
 .breadcrumb a.is-disabled {
   cursor: default;