/**
 *  file       : 20260106°1231 codemirror.css (after 20260102°1421)
 *  summary    : Styles for the CodeMirror elements
 */

/* (X) [ruleset 20260102°1011] */
/* (X.1) [rule 20260102°1013] */
body { margin: 20px; font-family: sans-serif; }

/* (X.2) [rule 20260102°1015] */
/* #cm6_container { */
#cm6_editor_control {
    background-color : #ffffa0; /* Yellow */                          /* Debug */
    border           : 2px dotted Red; /* 1px solid #d0d0d0 */
    border-radius    : 0.7em;
    font-size        : 0.86em;  /* 1.1em */                             /* Font size of editor content [prop 20260102°1543] */
    height           : 570px !important;  /* 500px */
    margin-bottom    : 1.1em; /* 10px */
    max-height       : 570px !important;  /* 500px */                   /* Must match the value in var 20260102°1531 */
    padding          : 0.2em;
    /* resize        : vertical !important; */                          /* Experimental, not so easy [prop 20260102°1541] */
    /* text-align    : left; */                                         /* For the buttons [prop 20260106°1241] */

    /* Switch to display:flex [seq 20260106°1351] */
    display          : flex;
    flex-direction   : column;                                          /* Stack children vertically */
    align-items      : flex-start;                                      /* Align children to the left */
}

/* (X.2) [rule 20260102°1017] */
#cm6_textarea {
    max-height       : 500px !important;  /* 500px */                   /* Must match the value in var 20260102°1531 */
    height           : 500px !important;  /* 500px */
}

/* (X.2) [rule 20260106°1751] */
#id20260106o1211_btns {
    display          : flex;                                            /* Just a quick try so far [prop 20260106°1753] */
    flex-direction   : row;                                             /* column */
    /* align-items   : flex-start; */
}

/* (X.3) [rule 20260102°1007] */
.cm6_button {
    background       : #007acc;
    border           : none;
    border-radius    : 0.7em; /* 4px */
    color            : white;
    cursor           : pointer;
    /* display       : block; */
    font-size        : 1.0em; /* 14px */
    margin           : 0.7em 0.2em 0.2em 0.2em; /* 0 auto; */
    padding          : 0.4em 1.1em 0.4em 0.7em; /* 8px 16px */
}