From 76c5e1d86e7d92ffa5493e42b813f507bcfc0938 Mon Sep 17 00:00:00 2001 From: Lazaro Alonso Date: Sat, 31 Aug 2024 13:47:43 +0200 Subject: [PATCH] no ligatures --- Project.toml | 3 ++- docs/src/.vitepress/theme/style.css | 31 +++++++++++++++-------------- 2 files changed, 18 insertions(+), 16 deletions(-) diff --git a/Project.toml b/Project.toml index a891b303..a3ebb7d6 100644 --- a/Project.toml +++ b/Project.toml @@ -50,8 +50,9 @@ ParallelUtilities = "0.8" ProgressMeter = "1" Reexport = "1" Requires = "1" +Statistics = "1" StatsBase = "0.32, 0.33, 0.34" Tables = "0.2, 1.0" WeightedOnlineStats = "0.3, 0.4, 0.5, 0.6" -YAXArrayBase = "0.6" +YAXArrayBase = "0.6,0.7" julia = "1.9" diff --git a/docs/src/.vitepress/theme/style.css b/docs/src/.vitepress/theme/style.css index ab065fe5..26e8678a 100644 --- a/docs/src/.vitepress/theme/style.css +++ b/docs/src/.vitepress/theme/style.css @@ -29,24 +29,25 @@ https://github.com/vuejs/vitepress/blob/main/src/client/theme-default/styles/var /* Code Snippet font */ --vp-font-family-mono: JuliaMono-Regular, monospace; - } - +/* +Disable contextual alternates (kind of like ligatures but different) in monospace, +which turns `/>` to an up arrow and `|>` (the Julia pipe symbol) to an up arrow as well. +This is pretty bad for Julia folks reading even though copy+paste retains the same text. +*/ +/* Target elements with class 'mono' */ .mono { - /* - Disable contextual alternates (kind of like ligatures but different) in monospace, - which turns `/>` to an up arrow and `|>` (the Julia pipe symbol) to an up arrow as well. - This is pretty bad for Julia folks reading even though copy+paste retains the same text. - */ - font-feature-settings: 'calt' 0; - pre { - font-family: JuliaMono-Light; -}; -code { - font-family: JuliaMono-Light; - }; + /* Disable contextual alternates */ + font-feature-settings: "calt" 0; +} +/* Apply monospace font to pre elements within .mono */ +.mono pre { + font-family: "JuliaMono-Light", monospace; +} +/* Apply monospace font to code elements within .mono */ +.mono code { + font-family: "JuliaMono-Light", monospace; } - /** * Colors