/*
 * GPSINOS: selección de texto de alto contraste para toda la plataforma.
 * El rojo corporativo y el texto blanco hacen evidente qué se copiará.
 */
*::selection {
    background: #e11d2e !important;
    color: #ffffff !important;
    text-shadow: none !important;
}

*::-moz-selection {
    background: #e11d2e !important;
    color: #ffffff !important;
    text-shadow: none !important;
}

/* CodeMirror dibuja la selección mediante una capa propia. */
.CodeMirror-selected,
.CodeMirror-focused .CodeMirror-selected {
    background: #fecaca !important;
}