merged with upstreamHEADmaster

1 files changed, 2 insertions, 1 deletions

diff --git a/docs/conf.py b/docs/conf.py
index 98c5e651..013cd2d2 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -50,7 +50,8 @@ master_doc = 'index'
 extensions = [
 	'sphinx.ext.autodoc',
 	'sphinx.ext.inheritance_diagram',
-	'sphinx.ext.todo'
+	'sphinx.ext.todo',
+	'sphinx_rtd_theme'
 ]
 
 # Add any paths that contain templates here, relative to this directory.