Implements #51: Folding commands

2023-06-14 19:27:18 +02:00
parent 260c91e4b1
commit 1b922791f3
7 changed files with 105 additions and 2 deletions
@@ -21,6 +21,18 @@
    max-width: 100%;
  }

+  // Gutter styling
+  .cm-gutters {
+    background-color: transparent;
+    border-right: none;
+
+  }
+
+  .cm-foldPlaceholder {
+    background-color: transparent;
+    border: 0;
+  }
+

  // Indentation of follow-up lines
  @mixin lineOverflow($baseIndent, $bulletIndent: 0) {