[docs] add logo to documentation and adjust colors

docs/source/_static/pymor.css

@@ -12,3 +12,43 @@
 .cell_output {
     display: inline-block;
 }
+
+.md-header {
+    background-color: #3155a0 !important;
+    color: white !important;
+}
+
+@media only screen and (max-width:76.1875em) {
+    .md-nav--primary .md-nav__title--site {
+        background-color: #3155a0 !important;
+    }
+}
+
+.md-tabs {
+    background-color: white !important;
+    color: rgba(0,0,0,.87) !important;
+}
+
+.md-typeset a {
+    color: #3155a0 !important;
+}
+
+.md-nav__link--active, .md-nav__link:active {
+    color: #3155a0 !important;
+}
+
+.md-typeset a:hover {
+    color: #469ecc !important;
+}
+
+.md-nav__item a:hover {
+    color: #469ecc !important;
+}
+
+.md-search__input {
+    background-color: #242e60 !important;
+}
+
+.md-search__input::placeholder {
+    color: #f5f5f5 !important;
+}

docs/source/conf.py

@@ -161,10 +161,9 @@ html_theme_options = {
     'html_minify': on_gitlab_ci,
     'css_minify': on_gitlab_ci,
     'nav_title': 'pyMOR Documentation',
-    'logo_icon': '&#xe869',
     'globaltoc_depth': 5,
-    'theme_color': '58c9f5',
-    'color_primary': 'light-blue',
+    'theme_color': 'indigo',
+    'color_primary': 'indigo',
     'color_accent': 'blue',
     'version_dropdown': True,
     'version_json': '/versions.json'
@@ -175,7 +174,7 @@ html_title = "%s v%s Manual" % (project, version)
 
 # The name of an image file (within the static path) to place at the top of
 # the sidebar.
-#html_logo = 'scipyshiny_small.png'
+html_logo = '../../logo/pymor_logo_white.svg'
 
 # 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,