From e51caef2e8d6363b0b64a69ef361142b73ebd65d Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Sat, 7 Oct 2023 09:50:43 +0000 Subject: Deployed 694062d to dev with MkDocs 1.5.3 and mike 1.1.2 --- dev/stylesheets/extra.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'dev/stylesheets/extra.css') diff --git a/dev/stylesheets/extra.css b/dev/stylesheets/extra.css index bf34cb9a..efe4f0c4 100644 --- a/dev/stylesheets/extra.css +++ b/dev/stylesheets/extra.css @@ -14,7 +14,11 @@ } .md-header { - background-color: #30323a; + background-color: #1d2238; +} + +.md-tabs { + background-color: #1d2238; } .md-typeset .twitter { -- cgit v1.2.3-70-g09d2