Vielen Dank für die schnelle Anpassung an Firefox 57. Für normale Ansprüche völlig ok. Auch wenn eine kleine Gewöhnung an die neue Einfärbung notwendig ist. Für Feinheiten der Entwicklung ist noch genug Zeit. Gruß vom Kielerjung.