[css-syntax] tweak the multiplication signs.

Author: tabatkins

css-syntax/Overview.html

@@ -2300,8 +2300,8 @@ <h4 id=convert-a-string-to-a-number><span class=secno>4.3.13. </span>
         base-10 integer; otherwise, let <var>i</var> be the number 0.
       </ol>
 
-      <p> Return the number <code>s × (i + f·10<sup>-d</sup>) ×
-       10<sup>te</sup></code>.
+      <p> Return the number <code>s·(i +
+       f·10<sup>-d</sup>)·10<sup>te</sup></code>.
 
       <h4 id=consume-the-remnants-of-a-bad-url><span class=secno>4.3.14.
        </span> <dfn id=consume-the-remnants-of-a-bad-url0>Consume the

css-syntax/Overview.src.html

@@ -1599,7 +1599,7 @@ <h4>
 	</ol>
 
 	<p>
-		Return the number <code>s × (i + f·10<sup>-d</sup>) × 10<sup>te</sup></code>.
+		Return the number <code>s·(i + f·10<sup>-d</sup>)·10<sup>te</sup></code>.
 
 
 <h4>