From: Vladimír Vondruš <mosra@centrum.cz>
Date: Wed, 11 Sep 2019 10:52:26 +0000 (+0200)
Subject: css: make it possible to specify a different color for header breadcrumb.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=c71bd16687fe18803b4e8780978786f761db9a40;p=blog.git

css: make it possible to specify a different color for header breadcrumb.

With brightly-colored headers the usual dim color doesn't make sense.
No visual change to the builtin themes, only adding flexibility for 3rd
party styles.
---

diff --git a/css/m-layout.css b/css/m-layout.css
index 71d246c9..5d22db0e 100644
--- a/css/m-layout.css
+++ b/css/m-layout.css
@@ -86,7 +86,7 @@ body > header > nav #m-navbar-brand .m-thin {
   font-weight: normal;
 }
 body > header > nav #m-navbar-brand .m-breadcrumb {
-  color: var(--dim-color);
+  color: var(--header-breadcrumb-color);
 }
 body > header > nav a#m-navbar-show:before, body > header > nav a#m-navbar-hide:before {
   content:'\2630';
diff --git a/css/m-theme-dark.css b/css/m-theme-dark.css
index d19f4689..cdefaebc 100644
--- a/css/m-theme-dark.css
+++ b/css/m-theme-dark.css
@@ -64,6 +64,7 @@
   /* Header */
   --header-border-width: 0 0 0.25rem 0;
   --header-color: #ffffff;
+  --header-breadcrumb-color: #747474; /* same as --dim-color */
   --header-background-color: #22272e;
   --header-background-color-landing: rgba(34, 39, 46, 0.75);
   --header-background-color-jumbo: rgba(34, 39, 46, 0.25);
diff --git a/css/m-theme-light.css b/css/m-theme-light.css
index 3896cb0e..cbed31a2 100644
--- a/css/m-theme-light.css
+++ b/css/m-theme-light.css
@@ -62,6 +62,7 @@
   /* Header */
   --header-border-width: 0.25rem 0 0 0;
   --header-color: #000000;
+  --header-breadcrumb-color: #bdbdbd; /* same as --dim-color */
   --header-background-color: #ffffff;
   --header-background-color-landing: rgba(255, 255, 255, 0.75);
   --header-background-color-jumbo: rgba(255, 255, 255, 0.25);