From ad61012df574f4e1282049e86d227939ca3d9a9b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 26 Mar 2022 22:13:58 +0000
Subject: Add theme options

---
 doc/conf.py | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'doc/conf.py')

diff --git a/doc/conf.py b/doc/conf.py
index 015f030..c7a9970 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -50,6 +50,25 @@ pygments_style = "emacs"
 #
 html_theme = 'alabaster'
 
+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_sidebars = {
+    '**': [
+        'about.html',
+        'searchbox.html',
+        'navigation.html',
+        'relations.html',
+        'donate.html',
+    ]
+}
+
 # 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,
 # so a file named "default.css" will overwrite the builtin "default.css".
-- 
cgit