Antwort auf: Hm, habe das noch mal mit Firebug überprüft.
Es sieht so aus, als ob das
font-weight:bold;
in source-highlight.css
die Zeilenabstände im Code rechts auseinandertreibt.
Das ist logisch, da die fette Schrift eine etwas andere Zeilenhöhe als die kursive oder normale hat.
Das führt dann zu anderen Zeilenhöhen bei einem Mix aus kursiv, fett und normal.
Aber die fette Auszeichnung muss leider sein.
Gibt es denn eine andere Möglichkeit, Code formatiert in HTML mit Zeilennummern darzustellen, dass nur der Code ohne Zeilennummern zu kopieren ist?