Looking at the source it looks like it's all PNG files. So shouldn't be horrendous. JPEG would be smaller but I wouldn't want to go that far since they're goo

Looking at the source it looks like it's all PNG files. So shouldn't be horrendous. JPEG would be smaller but I wouldn't want to go that far since they're good for history and making other things out of.