diff --git a/src/public/app/widgets/type_widgets/editable_code.js b/src/public/app/widgets/type_widgets/editable_code.js index 37d19333b..2ba9eaa1a 100644 --- a/src/public/app/widgets/type_widgets/editable_code.js +++ b/src/public/app/widgets/type_widgets/editable_code.js @@ -13,7 +13,6 @@ const TPL = ` height: 100%; display: flex; flex-direction: column; - font-size: larger; /* monospace fonts are smaller for some reason so this compensates that */ } .note-detail-code-editor { diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css index 8126befc0..9a643d97b 100644 --- a/src/public/stylesheets/style.css +++ b/src/public/stylesheets/style.css @@ -265,6 +265,10 @@ div.ui-tooltip { background: inherit; } +.CodeMirror * { + font-family: var(--font-family-monospace) !important; +} + .CodeMirror-gutters { background-color: inherit !important; border-right: none;