Update julia-manual.css (JuliaLang#41356)

Switch off contextual alternates (aka "ligatures") for this document.
inkydragon · Jun 25, 2021 · e041cd5 · e041cd5
1 parent ed4c44f
commit e041cd5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/src/assets/julia-manual.css b/doc/src/assets/julia-manual.css
@@ -1,3 +1,7 @@
+pre, code {
+ font-variant-ligatures: no-contextual;
+}
+
 nav.toc h1 {
  display: none;
 }