From 8d9abd8a9044a16b0773d4d41cb49626b6dc77a4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Wed, 11 Sep 2019 12:50:56 +0200 Subject: [PATCH] css: style search background separately from the header navbar. Otherwise it's too much of a pain with bright-colored headers. No visual change to the builtin themes, just adding flexibility for 3rd party ones. --- css/m-documentation.css | 4 ++-- css/m-theme-dark.css | 4 ++++ css/m-theme-light.css | 4 ++++ 3 files changed, 10 insertions(+), 2 deletions(-) diff --git a/css/m-documentation.css b/css/m-documentation.css index 6cea1aae..6c0966f6 100644 --- a/css/m-documentation.css +++ b/css/m-documentation.css @@ -234,7 +234,7 @@ a.m-doc-search-icon:focus svg, a.m-doc-search-icon:hover svg, a.m-doc-search-ico right: 0; top: 0; bottom: 0; - background-color: var(--header-background-color-landing); + background-color: var(--search-overlay-color); } .m-doc-search:target { display: block; @@ -256,7 +256,7 @@ a.m-doc-search-icon:focus svg, a.m-doc-search-icon:hover svg, a.m-doc-search-ico float: right; } .m-doc-search-content { - background-color: var(--header-background-color); + background-color: var(--search-background-color); border-radius: var(--border-radius); padding: 1rem; } diff --git a/css/m-theme-dark.css b/css/m-theme-dark.css index 2a0d6232..d19f4689 100644 --- a/css/m-theme-dark.css +++ b/css/m-theme-dark.css @@ -83,6 +83,10 @@ /* Cover image */ --cover-image-background-color: #0f1217; + /* Search (used only by m-documentation.css) */ + --search-overlay-color: var(--header-background-color-landing); + --search-background-color: var(--header-background-color); + /* Article */ --article-header-color: #f0f0f0; --article-footer-color: #c5c5c5; diff --git a/css/m-theme-light.css b/css/m-theme-light.css index e2f593f8..3896cb0e 100644 --- a/css/m-theme-light.css +++ b/css/m-theme-light.css @@ -81,6 +81,10 @@ /* Cover image */ --cover-image-background-color: #666666; + /* Search (used only by m-documentation.css) */ + --search-overlay-color: var(--header-background-color-landing); + --search-background-color: var(--header-background-color); + /* Article */ --article-header-color: #7a7a7a; --article-footer-color: #969696; -- 2.30.2