[gavreh]

Is this purposeful or a mistake? If mistake, I'm surprised it hasn't been reverted yet.

[jsargiox]

I would say it's a mistake, but you never know. This style has been used for github enterprise to make it "differentiate" from github.com, I don't think it's a good idea to make them look the same...