<whitespace-token> rendered as an element.

[SimonSapin]

https://drafts.csswg.org/css-syntax/ is all broken.

[SimonSapin]

https://drafts.csswg.org/css-syntax/#consume-list-of-declarations currently renders as:

The generated HTML contains:

   <dl>
    <dt><a class="production css" data-link-type="type" href="#typedef-whitespace-token"><whitespace-token></a>
    <dt><a class="production css" data-link-type="type" href="#typedef-semicolon-token"><semicolon-token></a>
    <dd>Do nothing.

<whitespace-token> should be at least <whitespace-token>.

[tabatkins]

Fixed, sorry about that.

(Problem with rewriting is that you lose the accumulated bugfixes! Grr)