Slightly less padding in gutter

2024-11-22 07:54:11 +01:00 · 2023-01-12 00:59:51 +01:00 · 2023-01-12 00:59:51 +01:00 · 7d87277f65
commit 7d87277f65
parent c64deb786e
1 changed files with 2 additions and 2 deletions
--- a/heynote-codemirror/src/theme/base.js
+++ b/heynote-codemirror/src/theme/base.js
@ -6,10 +6,10 @@ export const heynoteBase = EditorView.theme({
        fontFamily: "Menlo, Monaco, 'Courier New', monospace",
    },
    '.cm-gutters': {
-        padding: '0 2px 0 6px',
+        padding: '0 2px 0 4px',
    },
    '.cm-foldGutter': {
-        marginLeft: '4px',
+        marginLeft: '0px',
    },
    '.cm-foldGutter .cm-gutterElement': {
        opacity: 0,