/* rappel : le script n'est plus utilisé, styles directement ajoutés dans mon common.css */

/* see: https://github.com/wikimedia/mediawiki/blob/master/resources/src/mediawiki/mediawiki.diff.styles.css */

.diff-custom .diff-addedline,
.diff-custom .diff-deletedline,
.diff-custom .diff-context,
.diff-custom .diff-empty {
    border: 0;
    border-radius: 0;
    padding: 0.15em 0.4em;
    font-size: 80%;
}
.diff-custom td.diff-marker {
    padding: 0;
    font-weight: normal;
}


.diff-custom .diff-addedline {
    background: #D8E4F6;
}
.diff-custom .diff-deletedline {
    background: #E2F4D6;
}
.diff-custom .diff-context {
    background: #F2F2F2;
}


.diff-custom .diff-addedline .diffchange,
.diff-custom .diff-deletedline .diffchange {
    border-radius: 0;
    padding: 0;
}
.diff-custom .diff-addedline .diffchange {
    background: #B0C0F0;
}
.diff-custom .diff-deletedline .diffchange {
    background: #B0E897;
}