From b4582aed91b2fda3b8245f8b97f13798b3caf2cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Tue, 15 Feb 2022 09:11:10 +0100 Subject: [PATCH] theme: fix underline color for links #175 --- static/css/theme.css | 2 +- static/css/variant.css | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/static/css/theme.css b/static/css/theme.css index c788dc3a83..b820ef2107 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -1216,7 +1216,7 @@ option { } #body a.highlight:after { - background-color: #0082a7; /*#CE3B2F*/ + background-color: #486ac9; /* var(--MAIN-LINK-color) */ content: ""; display: block; height: 1px; diff --git a/static/css/variant.css b/static/css/variant.css index 01e2daa401..b20c81e8f3 100644 --- a/static/css/variant.css +++ b/static/css/variant.css @@ -139,6 +139,10 @@ pre .copy-to-clipboard:hover { color: var(--MENU-HOME-LINK-HOVER-color, var(--MENU-HOME-LINK-HOVERED-color, #808080)); } +#body a.highlight:after { + background-color: var(--MAIN-LINK-color); +} + .anchor { color: var(--MAIN-ANCHOR-color); }