Hallo,
carel: die blauen/default-themes haben einfach etwas zu wenig Kontrast zu dem dunklen Hintergrund, hatte schon überlegt die ganz rauszuwerfen. Ich selbst benutze dark-orange, aber wie du sagst, ist Geschmackssache......
pandel: das Suchmuster für den sed-befehl hat sich inzwischen geändert, deshalb hab ichs sicherheitshalber nochmal gepostet. Eigentlich gehört zu der 30er Schrift noch ein Balken mit etwas weniger Höhe.......evtl baue ich doch mal ein Makefile ein, mit dem man dann unterschiedliche Optionen hat.
Gruß
Tomas