commit f9b2b5c953ff01a0d59158cbb430cdd85d49ee76
parent b4b11c87c8f470693307da0613f08996414ae0aa
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Sun, 31 Jul 2022 21:51:40 +0200
add logo
Diffstat:
2 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/_static/images/gnunet-black.png b/_static/images/gnunet-black.png
Binary files differ.
diff --git a/conf.py b/conf.py
@@ -54,6 +54,8 @@ html_theme = 'sphinx_rtd_theme'
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static']
+html_logo = "_static/images/gnunet-black.png"
+
myst_enable_extensions = [
"amsmath",
"colon_fence",