Sphinx documentation theme, mostly a ripoff of the Py3 docs.