diff options
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/doc/conf.py b/doc/conf.py index c7a9970..7000f7b 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -48,25 +48,12 @@ pygments_style = "emacs" # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'alabaster' +html_theme = 'sphinx_rtd_theme' -html_theme_options = { - 'logo': 'images/vericert-main.svg', - 'github_user': 'ymherklotz', - 'github_repo': 'vericert', - 'description': 'A formally verified high-level synthesis tool written in Coq.', - 'github_button': False, - 'show_powered_by': False, -} +html_logo = "_static/images/vericert-main.svg" -html_sidebars = { - '**': [ - 'about.html', - 'searchbox.html', - 'navigation.html', - 'relations.html', - 'donate.html', - ] +html_theme_options = { + 'style_nav_header_background': '#fff5db' } # Add any paths that contain custom static files (such as style sheets) here, |