Sphinx portability

diff --git a/doc/tutorial/conf.py.in b/doc/tutorial/conf.py.in
index 7cb16dd10f7c4d1b707b7c89448ae625833798d4..ee9295d3178dae0d815c8c01b658996995ffb230 100644 (file)
--- a/doc/tutorial/conf.py.in
+++ b/doc/tutorial/conf.py.in
@@ -88,7 +88,7 @@ pygments_style = 'sphinx'
 # Options for HTML output
 # -----------------------
 
-html_theme = 'basic'
+html_theme = '@SPHINX_THEME@'
 
 # The style sheet to use for HTML and HTML Help pages. A file of that name
 # must exist either in Sphinx' static/ path, or in one of the custom paths