Correction affichage des numéros de lignes avec la même police
Ajout de white-space: pre; pour le source