[captaindiego]

Looking at the source I think he's using Sphinx (Python static generator) with the RTD theme, or some variation.

[polyvertex]

That's right, with the vanilla ReadTheDocs theme (no variation).