[css-counter-styles-3] Specify the minimum maximum range for 'range', per WG decision. Rework the text for 'range'.

Author: tabatkins

css-counter-styles-3/Overview.html

@@ -230,7 +230,7 @@ <h2 class="no-num no-toc" id=contents> Table of contents</h2>
       descriptor</a>
 
      <li><a href="#counter-style-width"><span class=secno>3.6. </span>
-      Constant-width Representations: the ‘<code
+      Zero-Padding and Constant-Width Representations: the ‘<code
       class=property>width</code>’ descriptor</a>
 
      <li><a href="#counter-style-fallback"><span class=secno>3.7. </span>
@@ -1136,47 +1136,44 @@ <h3 id=counter-style-range><span class=secno>3.5. </span> Limiting the
    ranges, the counter style instead drops down to its fallback counter
    style.
 
-  <p>If the value is not ‘<a href="#speak-as-auto"><code
-   class=css>auto</code></a>’, the first value of each range in the list
-   represents the lower bound of the range (with ‘<code
-   class=css>infinite</code>’ representing negative infinity), and the
-   second value represents the upper bound of the range (with ‘<code
-   class=property>infinite</code>’ representing positive infinity). This is
-   an inclusive range - it includes both the lower and upper bound numbers.
-   The range of the counter style as a whole is the union of the individual
-   ranges. If the lower bound of any range is higher than the higher bound,
-   the entire descriptor is invalid and must be ignored.
-
-  <p>If the value is ‘<a href="#speak-as-auto"><code
-   class=css>auto</code></a>’, the range depends on the counter system. For
-   ‘<a href="#cyclic"><code class=css>cyclic</code></a>’, ‘<a
-   href="#speak-as-numeric"><code class=css>numeric</code></a>’, and ‘<a
-   href="#fixed"><code class=css>fixed</code></a>’ systems, it must be
-   treated identically to specifying ‘<code class=css>infinite
-   infinite</code>’. For ‘<a href="#speak-as-alphabetic"><code
-   class=css>alphabetic</code></a>’ and ‘<a href="#symbolic"><code
-   class=css>symbolic</code></a>’, it must be treated identically to
-   ‘<code class=css>1 infinite</code>’. For ‘<a href="#additive"><code
-   class=css>additive</code></a>’, it must be treated identically to
-   ‘<code class=css>0 infinite</code>’. For ‘<a href="#override"><code
-   class=css>override</code></a>’, it must be treated according to the
-   system of the counter style it is overriding.
-
-  <p>Some counter style systems have their own implicit ranges, specified
-   above in the individual descriptions for each system. The explicit range
-   given by the ‘<a href="#descdef-range"><code class=css><code
-   class=css>range</code></code></a>’ descriptor applies at the same time
-   as the implicit range given by the ‘<a href="#descdef-system"><code
-   class=css><code class=css>system</code></code></a>’ descriptor - if the
-   counter value is outside either range, the fallback style must instead be
-   used to generate the representation.
-
-  <p class=issue>There's also an implicit range coming from implementation
-   limits. Should we require UAs to support all values in a signed 2-byte
-   int, or a signed 4-byte int?
-
-  <h3 id=counter-style-width><span class=secno>3.6. </span> Constant-width
-   Representations: the ‘<a href="#descdef-width"><code
+  <dl>
+   <dt>auto
+
+   <dd> The range depends on the counter system. For ‘<a
+    href="#cyclic"><code class=css>cyclic</code></a>’, ‘<a
+    href="#speak-as-numeric"><code class=css>numeric</code></a>’, and ‘<a
+    href="#fixed"><code class=css>fixed</code></a>’ systems, the range is
+    negative infinity to positive infinity. For ‘<a
+    href="#speak-as-alphabetic"><code class=css>alphabetic</code></a>’ and
+    ‘<a href="#symbolic"><code class=css>symbolic</code></a>’ systems,
+    the range is 1 to positive infinity. For ‘<a href="#additive"><code
+    class=css>additive</code></a>’ systems, the range is 0 to positive
+    infinity. For ‘<a href="#override"><code
+    class=css>override</code></a>’ systems, the range is identical to the
+    overridden system.
+
+   <dt>[ [ &lt;integer> | infinite ]{2} ]#
+
+   <dd> This defines a comma-separated list of ranges. For each individual
+    range, the first value is the lower bound and the second value is the
+    upper bound. This range is inclusive - it contains both the lower and
+    upper bound numbers. If ‘<code class=css>infinity</code>’ is used as
+    the first value in a range, it represents negative infinity; if used as
+    the second value, it represents positive infinity. The range of the
+    counter style is the union of all the ranges defined in the list.
+    <p> If the lower bound of any range is higher than the upper bound, the
+     entire descriptor is invalid and must be ignored.
+  </dl>
+
+  <p> Implementations must support ranges with a lower bound of at least
+   -2<sup>15</sup> and an upper bound of at least 2<sup>15</sup>-1 (the range
+   of a signed 2-byte int). They may support higher ranges. If a range is
+   specified with a bound greater than the implementation's supported bounds,
+   it must be treated as specifying the implementation's maximum supported
+   bound.
+
+  <h3 id=counter-style-width><span class=secno>3.6. </span> Zero-Padding and
+   Constant-Width Representations: the ‘<a href="#descdef-width"><code
    class=property>width</code></a>’ descriptor</h3>
 
   <table class=descdef>

css-counter-styles-3/Overview.src.html

@@ -776,19 +776,48 @@ <h3 id='counter-style-range'>
 	If a counter style is used to represent a counter value outside of its ranges,
 	the counter style instead drops down to its fallback counter style.
 
-	<p>If the value is not ''auto'', the first value of each range in the list represents the lower bound of the range (with ''infinite'' representing negative infinity), and the second value represents the upper bound of the range (with 'infinite' representing positive infinity).  This is an inclusive range - it includes both the lower and upper bound numbers.  The range of the counter style as a whole is the union of the individual ranges.  If the lower bound of any range is higher than the higher bound, the entire descriptor is invalid and must be ignored.
-
-	<p>If the value is ''auto'', the range depends on the counter system.  For ''cyclic'', ''numeric'', and ''fixed'' systems, it must be treated identically to specifying ''infinite infinite''.  For ''alphabetic'' and ''symbolic'', it must be treated identically to ''1 infinite''.  For ''additive'', it must be treated identically to ''0 infinite''.  For ''override'', it must be treated according to the system of the counter style it is overriding.
+	<dl>
+		<dt>auto
+		<dd>
+			The range depends on the counter system.
+			For ''cyclic'', ''numeric'', and ''fixed'' systems,
+			the range is negative infinity to positive infinity.
+			For ''alphabetic'' and ''symbolic'' systems,
+			the range is 1 to positive infinity.
+			For ''additive'' systems,
+			the range is 0 to positive infinity.
+			For ''override'' systems,
+			the range is identical to the overridden system.
+
+		<dt>[ [ &lt;integer> | infinite ]{2} ]#
+		<dd>
+			This defines a comma-separated list of ranges.
+			For each individual range,
+			the first value is the lower bound
+			and the second value is the upper bound.
+			This range is inclusive - it contains both the lower and upper bound numbers.
+			If ''infinity'' is used as the first value in a range,
+			it represents negative infinity;
+			if used as the second value,
+			it represents positive infinity.
+			The range of the counter style is the union of all the ranges defined in the list.
 
-	<p>Some counter style systems have their own implicit ranges, specified above in the individual descriptions for each system.  The explicit range given by the ''<code class="css">range</code>'' descriptor applies at the same time as the implicit range given by the ''<code class="css">system</code>'' descriptor - if the counter value is outside either range, the fallback style must instead be used to generate the representation.
+			<p>
+				If the lower bound of any range is higher than the upper bound,
+				the entire descriptor is invalid and must be ignored.
+	</dl>
 
-	<p class=issue>There's also an implicit range coming from implementation 
-	limits.  Should we require UAs to support all values in a signed 2-byte int,
-	or a signed 4-byte int?
+	<p>
+		Implementations must support ranges with a lower bound of at least -2<sup>15</sup>
+		and an upper bound of at least 2<sup>15</sup>-1
+		(the range of a signed 2-byte int).
+		They may support higher ranges.
+		If a range is specified with a bound greater than the implementation's supported bounds,
+		it must be treated as specifying the implementation's maximum supported bound.
 
 
 <h3 id='counter-style-width'>
-Constant-width Representations: the 'width' descriptor</h3>
+Zero-Padding and Constant-Width Representations: the 'width' descriptor</h3>
 
 	<table class='descdef'>
 		<tr>