It's a different style (CSS). Color is obviously different, different people prefer type of different theme. That's why it's host on userstyles.org. Should i call it GitHub Night instead?