[css-counter-styles-3] Remove unnecessary semicolons from productions

Author: heycam

css-counter-styles-3/Overview.bs

@@ -1226,8 +1226,8 @@ Defining Anonymous Counter Styles: the ''symbols()'' function</h2>
 	The syntax of the ''symbols()'' rule is:
 
 	<pre class='prod'>
-		<dfn>symbols()</dfn> = symbols( <<symbols-type>>? [ <<string>> | <<image>> ]+ );
-		<dfn>&lt;symbols-type></dfn> = cyclic | numeric | alphabetic | symbolic | fixed;
+		<dfn>symbols()</dfn> = symbols( <<symbols-type>>? [ <<string>> | <<image>> ]+ )
+		<dfn>&lt;symbols-type></dfn> = cyclic | numeric | alphabetic | symbolic | fixed
 	</pre>
 
 	The ''symbols()'' function defines an anonymous counter style
@@ -1304,7 +1304,7 @@ Extending 'list-style-type', ''counter()'', and ''counters()''</h2>
 	This module extends these features to take instead the <<counter-style>> type, defined below:
 
 	<pre class='prod'>
-		<dfn type>&lt;counter-style></dfn> = <<counter-style-name>> | <<symbols()>>;
+		<dfn type>&lt;counter-style></dfn> = <<counter-style-name>> | <<symbols()>>
 	</pre>
 
 	If a <<counter-style-name>> is used that does not refer to any existing counter style,