--- 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