docs: replace png logo with svg

Signed-off-by: Markus Klotzbuecher <mk@mkio.de>
kmarkus · Jul 9, 2020 · c6973b5 · c6973b5
1 parent e458d72
commit c6973b5
Show file tree

Hide file tree

Showing 3 changed files with 106 additions and 1 deletion.
diff --git a/docs/user/_static/microblx-logo.png b/docs/user/_static/microblx-logo.png
diff --git a/docs/user/_static/microblx-logo.svg b/docs/user/_static/microblx-logo.svg
diff --git a/docs/user/conf.py b/docs/user/conf.py
@@ -91,7 +91,7 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
-html_logo = '_static/microblx-logo.png'
+html_logo = '_static/microblx-logo.svg'
 
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.