@@ -7,7 +7,7 @@ sys.path.insert(0, os.path.abspath('.'))
77
88version = "1.0.0"
99
10−extensions = ['sphinx.ext.extlinks', 'sphinx.ext.todo']
10+extensions = ['sphinx.ext.extlinks', 'sphinx.ext.todo', 'sphinx_rtd_theme']
1111
1212templates_path = ['_templates']
1313source_suffix = '.rst'
@@ -23,10 +23,14 @@ primary_domain = 'haskell'
2323
2424exclude_patterns = ['.build', "*.gen.rst"]
2525
26+html_theme = 'sphinx_rtd_theme'
27+html_theme_options = {
28+ 'logo_only': True,
29+ 'navigation_depth': 5,
30+}
31+html_context = {}
32+
2633# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org
2734on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
2835
29−if not on_rtd: # only import and set the theme if we're building docs locally
30− import sphinx_rtd_theme
31− html_theme = 'sphinx_rtd_theme'
32− html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
36+todo_include_todos = True