diff --git a/default_environment/stylesheet/main.css b/default_environment/stylesheet/main.css index 46aae3f..68562bb 100644 --- a/default_environment/stylesheet/main.css +++ b/default_environment/stylesheet/main.css @@ -186,11 +186,13 @@ body { .inline_source_block { font-family: var(--src-font-family); font-size: 1.2rem; + font-variant-ligatures: none; } .code, .verbatim { font-family: var(--src-font-family); + font-variant-ligatures: none; } .quote_block {