Merge pull request #632 from eu-digital-identity-wallet/devhub_merge

Author: paolo-de-rosa

docs/media/extra.css

@@ -0,0 +1,8 @@
+.md-header__button.md-logo {
+    margin: 0;
+    padding: 0;
+}
+
+.md-header__button.md-logo img, .md-header__button.md-logo svg {
+    height: 2.7rem;
+}