[css-counter-styles] More 'width' fixup.

Author: tabatkins

css-counter-styles/Overview.html

@@ -795,7 +795,7 @@ <h4 id="additive-system" data-level="3.1.6"><span class="secno">3.1.6 </span>
 	</td></tr></tbody></table>
 
 <p>	The <a data-autolink="property" class="property" title="width" href="#width">width</a> descriptor allows an author to specify a "fixed-width" counter style,
-	where representations shorter than the width are padded with a particular character.
+	where representations shorter than the width are padded with a particular <a data-autolink="link" class="production" href="#symbol-production"><var>&lt;symbol&gt;</var></a>.
 	Representations larger than the specified width are constructed as normal.
 
 	</p><dl>

css-counter-styles/Overview.src.html

@@ -729,7 +729,7 @@ <h3 id='counter-style-width'>
 	</table>
 
 	The 'width' descriptor allows an author to specify a "fixed-width" counter style,
-	where representations shorter than the width are padded with a particular character.
+	where representations shorter than the width are padded with a particular <<symbol>>.
 	Representations larger than the specified width are constructed as normal.
 
 	<dl>