From 25c64e8e766a601a9a3454da9e1f68d58118c7ac Mon Sep 17 00:00:00 2001 From: Kenneth Hoste Date: Wed, 15 Mar 2023 14:41:12 +0100 Subject: [PATCH] use slightly darker blue/green in light theme --- docs/stylesheets/extra.css | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 131b68f22d..7d52db2e7b 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -13,11 +13,14 @@ [data-md-color-scheme="default"] { /* EB colours - main logo border colours */ --eb-blue: #72a4b0; + --eb-blue-dark: #538693; /* darker variant of blue in logo */ --eb-green: #8ca379; + --eb-green-dark: #71895d; --eb-red: #ab5860; + --eb-red-dark: #88444b; --md-primary-fg-color: #1c1e26; - --md-typeset-a-color: var(--eb-red); - --md-accent-fg-color: var(--eb-green); + --md-typeset-a-color: var(--eb-blue-dark); + --md-accent-fg-color: var(--eb-green-dark); }