Increasing max height of logo documenter docs.

rcschrg · rcschrg · commit 9bbca947ce05 · 2025-10-20T14:25:56.000+02:00
diff --git a/docs/src/assets/theme_overrides.css b/docs/src/assets/theme_overrides.css
@@ -88,4 +88,9 @@ html.theme--documenter-dark #documenter .docs-sidebar ul.docs-menu {
 
 html.theme--documenter-dark #documenter .docs-main .docs-footer {
   border-color: #2f4547;
+}
+
+#documenter .docs-sidebar .docs-logo>img {
+    max-height: 10rem !important;
+    margin: auto;
 }

Original file line number	Diff line number	Diff line change
`@@ -88,4 +88,9 @@ html.theme--documenter-dark #documenter .docs-sidebar ul.docs-menu {`
`88`	`88`
`89`	`89`	`html.theme--documenter-dark #documenter .docs-main .docs-footer {`
`90`	`90`	`border-color: #2f4547;`
	`91`	`+}`
	`92`	`+`
	`93`	`+#documenter .docs-sidebar .docs-logo>img {`
	`94`	`+ max-height: 10rem !important;`
	`95`	`+ margin: auto;`
`91`	`96`	`}`