Property merging bug

[alexlamsl]

I was hunting around for #800 when I encounter this bug:

a{
  border-top-color:red;
}
a{
  border-top-width:10px;
}
a{
  border:magenta;
}

... gets optimised into:

a{border:#ff00ff}

Note the missing border-top-width. Happens on both 3.4.23 (default options) and master (with {level:2})

[jakubpawlowicz]

It's actually as it should be since border shorthand overrides all border styles, see: https://www.w3.org/TR/css3-background/#the-border-shorthands and https://jsfiddle.net/rdfnstad/

Btw, #800 will be solved once aggressive merging is gone. Unless we want to fix in 3.4 too.

[alexlamsl]

Ah yes of course I was confusing border with border-color - sorry for the noise!

[jakubpawlowicz]

No problem!