Why are different colours used for the homepage tab borders?

Question

The main tabs on the Super User homepage use two different colours for the borders:

On Stack Overflow, a single border colour is used:

Similarly, on Meta Super User it looks like:

Is the different colour scheme for Super User (and for Server Fault) intentional? If so, why?

For convenience, here's how the current, all #CCCCCC and all #999999 schemes would compare. I think the "all #CCCCCC" version looks more consistent.

Answer 1

I have pushed a fix for this. The change will be live after our next production build.