doc: Update logo

datacenter · Aug 11, 2023 · d04a8e9 · d04a8e9
1 parent 0491dbb
commit d04a8e9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/docs/docs/assets/logo.svg b/docs/docs/assets/logo.svg
diff --git a/docs/docs/css/style.css b/docs/docs/css/style.css
@@ -0,0 +1,9 @@
+/* enlarge the size of the logo icon
+ * to match the height of the header */
+.md-header__button.md-logo {
+  margin: 0;
+  padding: 0;
+}
+.md-header__button.md-logo img {
+  height: unset;
+}