Border-left, border-right color changed

I'm tempted to push changes like this straight to upstream master, but would probably warned for bad practice :(