--- docs/conf.py.patch1 2016-01-26 20:36:07.841155175 +0100 +++ docs/conf.py 2016-01-26 20:36:30.369366832 +0100 @@ -105,7 +105,7 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. Major themes that come with # Sphinx are currently 'default' and 'sphinxdoc'. -html_theme = 'classic' +html_theme = 'default' # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the