tracker.closed(stylisticElement);
}
}
if (pushedDown) {
// Promote and then remove anti-element.
childElement.promote(true);
removeElement(childElement);
removed = true;
// I have had an anti-element that has been
// promoted. The dom tree may have changed