From 4cb0211bc6c64bc94db61fd14e624f3a89da320f Mon Sep 17 00:00:00 2001 From: Paul <36696816+pushfoo@users.noreply.github.com> Date: Fri, 24 Jan 2025 23:32:27 -0500 Subject: [PATCH] (#2502) Fix logo centering (#2518) --- doc/_static/css/layout.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/_static/css/layout.css b/doc/_static/css/layout.css index 9760bebb5..5236e6bd8 100644 --- 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 */