Utilisateur:Chico75/common.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.

/* présentation plus compacte pour le nouveau style des diffs */
table.diff {
    border-spacing : 0;
    margin-bottom  : 4px;
}
table.diff td {
    padding : 0.1em 0.66em;
}
td.diff-addedline, td.diff-deletedline {
    border-width  : 0 0 0 4px;
    border-radius : 0;
}
td.diff-marker {
    font-weight : normal;
}