add logo

mowito · Sep 13, 2020 · d0f3fba · d0f3fba
1 parent b129fe7
commit d0f3fba
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,4 +2,5 @@
 cmake-build-debug/
 docs/build/
 .vscode/
-docs/source/_build
+docs/source/_build
+.DS_Store
diff --git a/docs/source/Images/logo/m_for_mowito_docs3.png b/docs/source/Images/logo/m_for_mowito_docs3.png
diff --git a/docs/source/Images/logo/mowito_logo_name.png b/docs/source/Images/logo/mowito_logo_name.png
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -83,7 +83,11 @@
 # documentation.
 #
 # html_theme_options = {}
-
+html_theme_options = {
+    'logo_only': False,
+    'navigation_depth': 5,
+}
+html_logo = "Images/logo/m_for_mowito_docs3.png"
 # 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".