They're .svg files, but seem to not be fully compliant --- changing the file extension to .svg allows them to open in Google's Chrome web browser --- but they won't open in InkScape or Adobe Illustrator last I checked.