CSS cleanup

Second attempt... I split the changes so that they can be reviewed more easily.

About the unicode character. I know it doesn't break anything, but on the other hand it doesn't provide any gain.

About the shorthand properties, they exist for this specific reason; to combine all properties without bloating the css.

Anyway, I'm open to feedback, as usual.