I work with CSS and haven't seen this shorthand until today. That being said, I don't think it's a big deal since no one will likely be tinkering with this font property.