Let's not add those two lines. Purple is the default, but sites might want to redefine this.
Also, I think pushState and replaceState are not in IE9 anyway.