fix(code): respect user font selection

This commit is contained in:
Elian Doran 2025-06-18 17:42:03 +03:00
parent 7faaefee20
commit 609ed6274e
No known key found for this signature in database

View File

@ -440,10 +440,11 @@ body #context-menu-container .dropdown-item > span {
border-radius: 6px; border-radius: 6px;
overflow: hidden; overflow: hidden;
margin: 4px; margin: 4px;
font-size: var(--monospace-font-size);
} }
body .cm-editor { .cm-scroller {
font-size: var(--monospace-font-size); font-family: var(--monospace-font-family) !important;
} }
body .cm-editor .cm-gutters { body .cm-editor .cm-gutters {