/* ═══════════════════════════════════════════════════════════════
   CodeMirror — Fold Gutter CSS
   Icônes ▸ (repliable) et ▾ (replié) dans la gouttière.
   ═══════════════════════════════════════════════════════════════ */

/* ── Gouttière de repli ─────────────────────────────────────── */
.CodeMirror-foldgutter {
    width: 14px;
    cursor: pointer;
}

/* ── Icône: bloc dépliable (▸) ──────────────────────────────── */
.CodeMirror-foldgutter-open,
.CodeMirror-foldgutter-folded {
    display: inline-block;
    width: 14px;
    height: 14px;
    text-align: center;
    line-height: 14px;
    font-size: 10px;
    color: #999;
    cursor: pointer;
    transition: color 0.15s;
    user-select: none;
}

/* ── Survol des icônes ──────────────────────────────────────── */
.CodeMirror-foldgutter-open:hover,
.CodeMirror-foldgutter-folded:hover {
    color: #333;
}

/* ── Flèche vers le bas (bloc ouvert, peut être replié) ─────── */
.CodeMirror-foldgutter-open::after {
    content: "▾";
}

/* ── Flèche vers la droite (bloc replié, peut être déplié) ─── */
.CodeMirror-foldgutter-folded::after {
    content: "▸";
}

/* ── Marqueur dans le texte quand le bloc est replié ────────── */
.CodeMirror-foldmarker {
    display: inline-block;
    padding: 0 4px;
    margin: 0 2px;
    font-size: 11px;
    color: #555;
    background: #e8e8e8;
    border: 1px solid #ccc;
    border-radius: 3px;
    cursor: pointer;
    vertical-align: middle;
    line-height: 1;
}

.CodeMirror-foldmarker:hover {
    background: #d0d0d0;
    border-color: #aaa;
}