Ich nutzte bisher den erwähnten GeSHi-Highlighter. Dieser lässt sich schön konfigurieren und unperformant fand ich ihn eigentlich auch nicht.
Daniel nutzt selten Dinge 1:1, wie mir scheint. Daher wirst du auch nicht das kriegen, was genauso aussieht wie in der
DP. GeSHi nutzt die
DP nicht, aber damit kann man recht ähnliche Darstellungen hinbekommen.
Grüße