Consider tagging the <dasharray> production rule

[tidoust]

There is no easy way to identify the <dasharray> definition as a production rule, making it hard to extract the rule automatically. Most other CSS specs flag these production rules one way or the other, e.g. with a css class on the <dfn> tag, or with a prod class on the <pre> tag.