From 6959b38a343d4575efc442ea02422dc64cf59d00 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 28 Mar 2022 01:25:28 +0100
Subject: Add to documentation

---
 doc/conf.py | 21 ++++-----------------
 1 file changed, 4 insertions(+), 17 deletions(-)

(limited to 'doc/conf.py')

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