I have not seen this CSS syntax before. What are the benefits of it?