From 5c444b4b965b7fca4add9c6ae7c9bfe27c330c81 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 5 May 2018 20:46:37 +0300
Subject: [PATCH] draw fold marks in CSS since some fonts may not have them

---
 edit/codemirror-default.css | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css
index 1885a31a..83085a6d 100644
--- a/edit/codemirror-default.css
+++ b/edit/codemirror-default.css
@@ -60,3 +60,27 @@
 .CodeMirror-activeline .applies-to ul {
   z-index: 2;
 }
+
+.CodeMirror-foldgutter-open::after,
+.CodeMirror-foldgutter-folded::after {
+  top: 5px;
+  width: 0;
+  height: 0;
+  content: "";
+  position: absolute;
+  border-style: solid;
+  opacity: .5;
+  left: 1px;
+}
+
+.CodeMirror-foldgutter-open::after {
+  border-width: 5px 3px 0 3px;
+  border-color: currentColor transparent transparent transparent;
+}
+
+.CodeMirror-foldgutter-folded::after {
+  margin-top: -2px;
+  margin-left: 1px;
+  border-width: 4px 0 4px 5px;
+  border-color: transparent transparent transparent currentColor;
+}