diff --git a/_static/css/custom.css b/_static/css/custom.css index 28fe71347..1ffd947a9 100644 --- a/_static/css/custom.css +++ b/_static/css/custom.css @@ -261,6 +261,8 @@ legend, .rst-versions { /* Use a system font stack for better performance (no Web fonts required) */ font-family: var(--system-font-family); + /* Some fonts that we use (namely JetBrains Mono) can come with ligatures. It's better to opt-in if needed. */ + font-variant-ligatures: none; } h1,