Mises à jour

Amélioration de la lisibilité des numéros de ligne et des couleurs de différence dans DIFF (comparaison de texte)