use sphinxdoc as local theme