I recognize that, and that's why I used browser emulation (hit F12 and select emulation). As a software tester, I have learned tricks like this. It may have been a specific plugin that the user had. However, http://stackoverflow.com/questions/3108860/using-3-digit-color-codes-rather-than-6-digit-color-codes-in-css claims it affects some types of tags in IE10. I stand corrected. It may not affect all tags, but it's clear that it's some. I'm not willing to test the changes in IE10.
 As for accurate colours, the Whitecaps template colours are accurate for the original club, yes. The heading text was accurate for the first- and second-season team colour. I investigated the same way you did. They may have changed.