Hallo,
es geht nicht korrekt. Ich hab jetzt mal ein kleines komplettes Beispiel extrahiert. Probiert es aus. Im FF wird die border-color nicht ausgelesen.
Ja, das ist offensichtlich ein Bug.
https://bugzilla.mozilla.org/show_bug.cgi?id=42417
Es ist ein Bug.
viele Grüße
Axel