From 4014aef0330ea459d35a9995bb8d7f49ae0cba11 Mon Sep 17 00:00:00 2001 From: Catherine Date: Fri, 5 Jan 2024 12:23:25 +0000 Subject: [PATCH] docs: change mobile navbar color too. --- 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 c9ba739..060955a 100644 --- a/docs/_static/custom.css +++ b/docs/_static/custom.css @@ -3,7 +3,7 @@ a { text-decoration: underline; } .wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; } /* Match the logo colors in the background. */ -.wy-side-nav-search { background-color: #784b9a; } +.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; }