diff --git a/Documentation/conf.py b/Documentation/conf.py index 668e764c8e..b1780a034d 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -93,9 +93,9 @@ html_theme = 'sphinx_rtd_theme' html_show_sphinx = False -html_theme_options = { - 'prev_next_buttons_location': None -} +#html_theme_options = { +# 'prev_next_buttons_location': None +#} # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files,