Switch to new "lighter" doc design.
diff --git a/Doc/conf.py b/Doc/conf.py
index 85eb9fa..f827840 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -65,9 +65,12 @@
# Options for HTML output
# -----------------------
-html_theme = 'default'
+html_theme = 'pydoctheme'
+html_theme_path = ['tools/sphinxext']
html_theme_options = {'collapsiblesidebar': True}
+html_short_title = '%s Documentation' % release
+
# If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
# using the given strftime format.
html_last_updated_fmt = '%b %d, %Y'