[don't merge yet] Reference python-docs-theme when building docs without make#333

Mariatta wants to merge 1 commit intomasterpython/devguide:masterfrom

Mariatta-patch-1python/devguide:Mariatta-patch-1Copy head branch name to clipboard