[davidjgraph]

Possibly, or given the source to whole thing is on github, you could just look at the HTML of the page there, https://github.com/jgraph/draw.io/blob/master/war/about.html