Content deleted Content added
new approach to outdenting |
go back to last semi-working version |
||
Line 26:
var top_DL_node;
var top_DD_node;
var temp_DD_text;
Line 170 ⟶ 169:
} // closes loop climbing up the document tree
if (indent_level > 1) {
if ((top_DD_node) && (top_DL_node)) {
Line 191 ⟶ 181:
} // check that both the top_DD and top_DL elements are defined
} // check for unindenting
} // closes loop over the DD elements of the document
// window.alert(diagnostic_string);
|