feat: add footer

2023-09-11 21:23:37 -05:00
parent c4348d9b5e
commit 48e14d41b2
10 changed files with 74 additions and 20 deletions
@@ -34,7 +34,6 @@ const basicDarkTheme = EditorView.theme(
      color: base01,
      backgroundColor: background,
      borderRadius: '0.375rem',
-      padding: '0.5rem 0',
    },
    '.cm-gutter': {
      height: '100%',