Source files used to produce some of the svg/png files.