File:Lava JE8.gif

Summary
These textures are generated by hard coding. The algorithm is probably taken from Perin noise.