master/shapes.html
changeset 680 81c26c8c2608
parent 668 33dcba7ebbde
--- a/master/shapes.html	Mon May 26 10:45:44 2014 +0200
+++ b/master/shapes.html	Mon May 26 12:55:02 2014 +0200
@@ -637,14 +637,14 @@
   <li>double quotes surround literals</li>
 </ul>
 
-<pre>
+<pre class='grammar'>
 list-of-points:
-    wsp* coordinate-pairs? wsp*
+    <a>wsp</a>* coordinate-pairs? <a>wsp</a>*
 coordinate-pairs:
     coordinate-pair
-    | coordinate-pair comma-wsp coordinate-pairs
+    | coordinate-pair <a>comma-wsp</a> coordinate-pairs
 coordinate-pair:
-    coordinate comma-wsp coordinate
+    coordinate <a>comma-wsp</a> coordinate
     | coordinate negative-coordinate
 coordinate:
     number
@@ -654,10 +654,6 @@
 negative-coordinate:
     "-" integer-constant
     | "-" floating-point-constant
-comma-wsp:
-    (wsp+ comma? wsp*) | (comma wsp*)
-comma:
-    ","
 integer-constant:
     digit-sequence
 floating-point-constant:
@@ -675,8 +671,6 @@
     | digit digit-sequence
 digit:
     "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
-wsp:
-    (#x20 | #x9 | #xD | #xA)+
 </pre>
 
 <p class="ready-for-wg-review">