diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css index b3bd8c2e7..711a6691b 100644 --- a/src/public/stylesheets/style.css +++ b/src/public/stylesheets/style.css @@ -226,8 +226,8 @@ div.ui-tooltip { background: inherit; } -.CodeMirror * { - font-family: var(--monospace-font-family) !important; +body .CodeMirror { + font-size: var(--monospace-font-size); } .CodeMirror-gutters { diff --git a/src/routes/api/fonts.js b/src/routes/api/fonts.js index f1cdd6306..99f7b2748 100644 --- a/src/routes/api/fonts.js +++ b/src/routes/api/fonts.js @@ -27,7 +27,7 @@ function getFontCss(req, res) { style += `--main-font-size: ${optionsMap.mainFontSize}%;`; style += `--tree-font-size: ${optionsMap.treeFontSize}%;`; style += `--detail-font-size: ${optionsMap.detailFontSize}%;`; - style += `--monospace-font-size: ${optionsMap.monospaceFontSize};`; + style += `--monospace-font-size: ${optionsMap.monospaceFontSize}%;`; style += '}';