Besten Dank,
das sollte in der Tat einen guten Einstieg bieten, um neben DOM Veränderungen auch CSS optimieren zu koennen. Sehr hilfreich.
Gruss,
Steffen O.
PS: Was machen die nur bei Firefox? Die Dev tools bei Chrome sind neben der Browsergeschwindigkeit schon auch eine Klasse fuer sich.