Ich kann jeweils dem kompletten Source eine eigene Text-Farbe verpassen. Das würde Deiner Forderung nach 'farbigem Source' entsprechen, aber ich fürchte, daß Du echtes Highlighting möchtest.
Und hier hat Luckie schon korrekt geantwortet - das wird (in absehbarer Zeit) nicht passieren.
Die Ränder werde ich anpassen, so daß man die Ausdrucke künftig auch abheften kann. Dies sollte prinzipiell keine Schwierigkeit darstellen.
Daniel R. Wolf
mit Grüßen aus Hamburg