Du hast recht, deshalb nur als Tip, falls sie Dir nicht bekannt sein sollten: noch leichter hat man es mit DOM-Inspector und Web-Developer-Extension für den Firefox.
Kannte ich bis dato auch noch nicht. Muss ich unbedingt mal ausprobieren. Benutze nämlich hauptsächlich auch den FF.
Gruß
divejbba