(#2502) Fix logo centering (#2518)

pushfoo · web-flow · commit 4cb0211bc6c6 · 2025-01-24T23:32:27.000-05:00
diff --git a/doc/_static/css/layout.css b/doc/_static/css/layout.css
@@ -26,11 +26,11 @@
     content: none;
 }
 .wy-side-nav-search .icon-home img.logo {
-    margin: 0 !important;
+    margin: 0 auto;
     padding: 0;
     max-width: 100px;
-    padding-bottom: 16px;
 }
+
 .wy-side-nav-search > div.version {
     font-size: 85%;
     /* Same monospace as our `pre` blocks */

Original file line number	Diff line number	Diff line change
`@@ -26,11 +26,11 @@`
`26`	`26`	`content: none;`
`27`	`27`	`}`
`28`	`28`	`.wy-side-nav-search .icon-home img.logo {`
`29`		`- margin: 0 !important;`
	`29`	`+ margin: 0 auto;`
`30`	`30`	`padding: 0;`
`31`	`31`	`max-width: 100px;`
`32`		`- padding-bottom: 16px;`
`33`	`32`	`}`
	`33`	`+`
`34`	`34`	`.wy-side-nav-search > div.version {`
`35`	`35`	`font-size: 85%;`
`36`	`36`	/* Same monospace as our `pre` blocks */