What does JetBrains/IntelliJ use to create their web documentation?

I'm working on a project which I want to start adding documentation for and I'm very fascinated with how fluid and dynamic JetBrains documentation is for IntelliJ – https://www.jetbrains.com/help/idea/discover-intellij-idea.html

Does anyone know what framework they might be using for this?