fix overriding monospace font size, closes #2296

This commit is contained in:
zadam 2021-10-31 16:48:21 +01:00
parent 311b98ffcb
commit e4dca4750f
2 changed files with 3 additions and 3 deletions

View File

@ -226,8 +226,8 @@ div.ui-tooltip {
background: inherit; background: inherit;
} }
.CodeMirror * { body .CodeMirror {
font-family: var(--monospace-font-family) !important; font-size: var(--monospace-font-size);
} }
.CodeMirror-gutters { .CodeMirror-gutters {

View File

@ -27,7 +27,7 @@ function getFontCss(req, res) {
style += `--main-font-size: ${optionsMap.mainFontSize}%;`; style += `--main-font-size: ${optionsMap.mainFontSize}%;`;
style += `--tree-font-size: ${optionsMap.treeFontSize}%;`; style += `--tree-font-size: ${optionsMap.treeFontSize}%;`;
style += `--detail-font-size: ${optionsMap.detailFontSize}%;`; style += `--detail-font-size: ${optionsMap.detailFontSize}%;`;
style += `--monospace-font-size: ${optionsMap.monospaceFontSize};`; style += `--monospace-font-size: ${optionsMap.monospaceFontSize}%;`;
style += '}'; style += '}';