A naive question: I see that they are using mathjax for the displaying mathematics content. But what are they using to create the interactive diagrams?