They're high-quality JPEGs with SVG path-based masking. It's a technique that can work well in Firefox, but it can also be buggy. I have a site that uses this technique on the front page and fails the same way in Firefox--but only on the staging server. I never could figure out why and didn't want to put a lot of time into it since it doesn't affect production.