archives

« Bugzilla Issues Index

#3973 — 13.6.4.1: anomalous indent of production RHSs


Usually, when a multi-line production is followed by a bulleted list, the indent of the RHSs is greater than that of the bullets. See 13.5.1, 13.6.0.1, and 21.2.1 (RegExpUnicodeEscapeSequence).

But in 13.6.4.1, this is not the case -- the RHSs and the bullets have the same indent. So the RHSs (4 of them in that section) should be indented farther.


fixed in rev34 editor's draft


fixed in rev34