Wenn die Zeilennummern in ein <pre>...</pre> eingeschlossen werden (so wie der Code auch) dann scheint es zu passen.