Utilisateur:Od1n/DiffCustomStyle.js

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

$(function ($) {
    'use strict';

    var tableDiff = $('.diff');

    if (!tableDiff.length) {
        return;
    }

    importStylesheet('Utilisateur:Od1n/DiffCustomStyle.css');

    tableDiff.addClass('diff-custom');

    var btnSwitch = $('<button style="float:right">Changer le style du diff</button>');

    if ($('.mw-indicators').length) {
        btnSwitch[0].style.marginRight = '0.5em';
    }

    btnSwitch
        .click(function () {
            tableDiff.toggleClass('diff-custom');
        })
        .insertBefore('#firstHeading');

});