Disclaimer: I know this is a bad idea and I'd never do it myself, but I'm trying to figure out what the CSS spec says.

If I have CSS like:

```
span { color: 'red'; color: 'green'; }

```

which one wins? The first one, the last one, a random one picked by my browser?

And related, if they're redundant but not equivalent, like:

```
span { border-top-width: 10px; border-width: 5px; }

```

does this parse exactly as if I'd said:

```
span { border-top-width: 10px; border-top-width: 5px; border-right-width: 5px; border-bottom-width: 5px; border-left-width: 5px; }

```

and then the previous rule applies? Or is there a different rule that applies with redundant-but-not-equivalent CSS properties like this?

I've been digging through the CSS spec and I can't seem to find anything that directly applies here.

thanks!