@keyframes blinking {
    from {
        opacity: 0;
    }
    to {
        opacity: 1;
    }
}

.Active_1:not(.djs-connection) .djs-visual > :nth-child(1) {
    /* '!important' overrides *ALL* previous styling rules: */
    fill: limegreen !important;
    opacity: 0.5;
    stroke: none !important;
}

.Active:not(.djs-connection) .djs-visual > :nth-child(1) {
    animation: blinking 0.5s ease infinite;
    /* '!important' overrides *ALL* previous styling rules: */
    fill: limegreen !important;
    stroke: darkgreen !important;
}

.Active_data_object:not(.djs-connection) .djs-visual > :nth-child(1) {
    fill: lawngreen !important;
    stroke: darkgreen !important;
}

.Active_1_COLLAPSED:not(.djs-connection) .djs-visual > :nth-child(1) {
    /* '!important' overrides *ALL* previous styling rules: */
    fill: palegreen !important;
    opacity: 0.5;
    stroke: none !important;
}

.Active_COLLAPSED:not(.djs-connection) .djs-visual > :nth-child(1) {
    /* '!important' overrides *ALL* previous styling rules: */
    fill: palegreen !important;
    stroke: darkgreen !important;
}

/* Flows */
.FLOW:hover {
    stroke: darkgreen !important;
}

.FLOW_KILLED {
    opacity: 0.1;
}

@keyframes execution {
    to {
        stroke-dashoffset: 0;
    }
}

.FLOW_TRIGGERABLE {
    animation: execution 5s linear forwards infinite;
    /*Change CSS style (https://css-tricks.com/almanac/properties/s/stroke-dasharray/):*/
    stroke-dasharray: 5;
    stroke-dashoffset: 100;
}

.FLOW_TRIGGERED {
    animation: execution 1s linear forwards infinite;
    stroke-dasharray: 50;
    stroke-dashoffset: 100;
}

/* End of flows */

.Warning {
    animation: blinking 2.5s ease infinite;
    background-color: tomato;
    font-size: small;
    /*z-index: 1;*/
    /*https: / / developer . mozilla . org /fr/ docs /Web/ CSS / pointer-events:*/
    pointer-events: none; /* no reaction */
}

html, body, #LiveBPMN {
    background-color: #ECFFDC; /* #F2F8F1; */
    height: 100%;
    padding: 0;
    margin: 0;
}

.tippy-box[data-theme~='liveBPMN'] {
    background-color: darkgreen;
}

.tippy-box[data-theme~='liveBPMN_error'] {
    background-color: darkred;
}