--- a/editcommands.html Tue Jul 12 11:35:11 2011 -0600
+++ b/editcommands.html Tue Jul 12 11:51:47 2011 -0600
@@ -4352,8 +4352,15 @@
<var title="">node</var>, <a href=#preserving-its-descendants>preserving its descendants</a>. Then abort these
steps.
- <p class=XXX>Look into handling indentation like Gecko in CSS mode, where a
- margin attribute is added to a random element.
+ <!--
+ Gecko in CSS mode just adds margin properties to random elements that are
+ lying around. We don't attempt to remove those, because 1) the amount and
+ position of the margin can vary (it increases the margin if there's a
+ preexisting one), so it's potentially complicated, and 2) no browser removes
+ such margins on outdent, including Gecko, except for Gecko in CSS mode.
+
+ TODO: Consider removing it anyway.
+ -->
<li>If <var title="">node</var> is an <a href=#indentation-element>indentation element</a>:
<!-- This might be a simple indentation element that had style added to it by
--- a/source.html Tue Jul 12 11:35:11 2011 -0600
+++ b/source.html Tue Jul 12 11:51:47 2011 -0600
@@ -4339,8 +4339,15 @@
<var>node</var>, <span>preserving its descendants</span>. Then abort these
steps.
- <p class=XXX>Look into handling indentation like Gecko in CSS mode, where a
- margin attribute is added to a random element.
+ <!--
+ Gecko in CSS mode just adds margin properties to random elements that are
+ lying around. We don't attempt to remove those, because 1) the amount and
+ position of the margin can vary (it increases the margin if there's a
+ preexisting one), so it's potentially complicated, and 2) no browser removes
+ such margins on outdent, including Gecko, except for Gecko in CSS mode.
+
+ TODO: Consider removing it anyway.
+ -->
<li>If <var>node</var> is an <span>indentation element</span>:
<!-- This might be a simple indentation element that had style added to it by