On my browser, it appears that the top bar of Hacker News is #ff6600. Is there somewhere that #ff6500 is used?