diff --git a/services/web/frontend/js/features/source-editor/extensions/theme.ts b/services/web/frontend/js/features/source-editor/extensions/theme.ts index f889d360e7..a95f94dd88 100644 --- a/services/web/frontend/js/features/source-editor/extensions/theme.ts +++ b/services/web/frontend/js/features/source-editor/extensions/theme.ts @@ -179,6 +179,7 @@ const staticTheme = EditorView.theme({ '&': { height: '100%', textRendering: 'optimizeSpeed', + fontVariantNumeric: 'slashed-zero', }, // remove the outline from the focused editor '&.cm-editor.cm-focused:not(:focus-visible)': {