I looked at the favicon, and...
the file is .ico (bad format), stores 5 versions of the icon
(16x16 to 64x64) even though only 16x16/32x32 are supported.
Here are just the 16x16(383b) and 32x32(1.77kiB) versions, as
PNGs (better compression than gif, and official standard - used
RGBA, as 8-bit lost quality with almost identical size):
http://imgur.com/l4612WV,ThgDnJH#0 . Pick one and use it. I cut 1
pixel column from the 16x16 version because it was... 17x16.
See http://www.w3.org/2005/10/howto-favicon
