Content deleted Content added
color to track which DD's are which |
add .length to convert to integer |
||
Line 50:
if (parent_node.nodeName == "DL") {
// Check whether the parent DL element has any DT elements
num_DT_elements = parent_node.getElementsByTagName("DT").length;
if (num_DT_elements > 0) { break; } // if so, stop unindenting...
| |||