Zitat von
Luckie:
Und das mit den Symbolen hatten wir schon mal. Das sind ursprünglich mal PNGs gewesen.
Ist ja nun auch schon ewig lange her. Was spricht denn dagegen, nach passenden Vektorgrafiken zu gucken? Die kann man problemlos in der Größe anpassen und dann ins passende Format konvertieren.