Added chords to ziffers

2023-09-08 00:42:39 +03:00
parent 7993d87915
commit d2161eb5bc
10 changed files with 111 additions and 46 deletions
--- a/src/themes/toposTheme.ts
+++ b/src/themes/toposTheme.ts
@ -63,7 +63,7 @@ export const toposDarkTheme = EditorView.theme(
    },
    ".cm-activeLine": {
      // backgroundColor: highlightBackground
-      backgroundColor: "rgb(76,86,106, 0.4)",
+      backgroundColor: "rgb(76,76,106, 0.1)",
    },
    ".cm-selectionMatch": {
      backgroundColor: base04,