ich hab das nirgendwo bereitgestellt.

1. was ich bekommen habe, war ein CSS, von dem topeg selber nicht wusste, welche aenderung den ausschlag gegeben hat
2. kann jeder, der das testen will, ja das CSS per user-css o.ae. in seinem browser aktivieren oder auch die seite abspeichern und das css da einfuegen
3. hatte sich das problem in meinen augen (von GwenDragon bestaetigt) mit dem weglassen von bold text im highlighted code geloest.
4. ich habe einfluss auf die zeilennummern-spans, aber nicht auf den generierten code von source-highlight, so dass ich dort nicht analog zu den zeilennummern span-tags hinzufuegen koennte.