foldgutter styles

2025-12-24 20:42:43 +00:00 · 2024-10-11 00:00:57 +02:00
parent e3d256aaaf
commit 99dc0deb08
1 changed files with 9 additions and 0 deletions
--- a/shared/naturalcrit/codeEditor/codeEditor.less
+++ b/shared/naturalcrit/codeEditor/codeEditor.less
@@ -26,6 +26,15 @@
    color: grey;
  }

+  .CodeMirror-foldgutter {
+    transition:background 0.1s;
+    border-left:1px solid #eee;
+    cursor:pointer;
+    &:hover {
+      background:#ddd;
+    }
+  }
+
  .sourceMoveFlash .CodeMirror-line{
    animation-name: sourceMoveAnimation;
    animation-duration: 0.4s;