More visually distinct folded/unfolded marks

CSS solution for edit mode:

/*********************************************************/
/* Make folding mark triangle bigger for folded sections */
/*********************************************************/
/* in edit mode "▸" → "▶" */
.CodeMirror-foldgutter-folded:after {
    content: "\25B6";
}
/* in rendered (preview) mode - to be implemented yet (by someone who knows css) */
/* ... */
1 Like