I would say it's a mistake, but you never know. This style has been used for git...

		jsargiox on Feb 10, 2017 \| parent \| context \| favorite \| on: GitHub changes topbar to dark theme 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...