From 21955438ffce036232a4a7b2afd9b2c700340949 Mon Sep 17 00:00:00 2001
From: Florian Sesser <florian@leastauthority.com>
Date: Tue, 23 Feb 2021 15:29:19 +0000
Subject: [PATCH] docs: remove phone-home github button, add static text
 instead

---
 docs/source/conf.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 6328fabf..36b62a34 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -84,9 +84,9 @@ html_theme = 'alabaster'
 # html_theme_options = {}
 html_theme_options = {
     'logo': 'logo-ps.svg',
-    'github_user': 'PrivateStorageio',
-    'github_repo': 'PrivateStorageio',
+    'description': "&nbsp;", # ugly hack to get some white space below the logo
     'fixed_sidebar': True,
+    'extra_nav_links': {"Fork me on GitHub": "https://github.com/PrivateStorageio/PrivateStorageio"},
 }
 
 # Add any paths that contain custom static files (such as style sheets) here,
-- 
GitLab