[css-page-3] should border-short-style be border-style?

[dd8]

border-short-style: is listed as a supported CSS 2.1 property in @page rules, but border-short-style isn't a CSS 2.1 property

Should this say border-style?

https://drafts.csswg.org/css-page-3/#page-property-list

[SimonSapin]

This looks like a typo for border-style.

[ylafon]

Also, could this be published on TR as a WD at some point? The last version on TR is more than five years old.
Thanks

[AlbertWiersch]

Was going to say the same thing... looks like this simple typo has still not been fixed.

[SebastianZ]

I went ahead and fixed this. Thank you for the report!

Sebastian