Utilisateur:Od1n/DiffCustomStyle.css

Note : après avoir enregistré la page, vous devrez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Mozilla / Firefox / Konqueror / Safari : maintenez la touche Majuscule (Shift) en cliquant sur le bouton Actualiser (Reload) ou pressez Maj-Ctrl-R (Cmd-R sur Apple Mac) ;

Chrome / Internet Explorer / Opera : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5.

/* 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;
}