From b8ca2a09b44d5dec8d01525d1b075b6927ec92a8 Mon Sep 17 00:00:00 2001 From: Catherine Date: Mon, 15 Jan 2024 19:58:35 +0000 Subject: [PATCH] docs: make the logo a bit smaller. Co-authored-by: mcclure --- docs/_static/custom.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_static/custom.css b/docs/_static/custom.css index 060955a..69a6288 100644 --- a/docs/_static/custom.css +++ b/docs/_static/custom.css @@ -6,7 +6,7 @@ a { text-decoration: underline; } .wy-nav-top, .wy-side-nav-search { background-color: #784b9a; } /* Make the logo more reasonably sized. */ -.wy-side-nav-search > a img.logo { width: 200px; } +.wy-side-nav-search > a img.logo { width: 160px; } /* Some of our section titles are looong */ @media screen and (min-width:769px) {