From 95385935304f6d3c15e9a4ab60e4b9b6ac78c587 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Sun, 1 Oct 2023 12:24:35 +0200 Subject: [PATCH] mermaid: improve button coloring #659 --- static/css/variant.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/static/css/variant.css b/static/css/variant.css index 41d9da1398..648baa445a 100644 --- a/static/css/variant.css +++ b/static/css/variant.css @@ -281,7 +281,7 @@ table { div.highlight > div table + .copy-to-clipboard-button, div.highlight pre:not(.mermaid) + .copy-to-clipboard-button, pre:not(.mermaid) .copy-to-clipboard-button { - border-color: var(--INTERNAL-CODE-BLOCK-BORDER-color); + border-color: transparent; color: var(--INTERNAL-MAIN-LINK-color); } @@ -307,13 +307,13 @@ pre:not(.mermaid) .copy-to-clipboard-button:hover { } .svg-reset-button { - border-color: var(--INTERNAL-CODE-BLOCK-BORDER-color); + border-color: transparent; color: var(--INTERNAL-MAIN-LINK-color); } .svg-reset-button:hover { background-color: var(--INTERNAL-MAIN-LINK-color); border-color: var(--INTERNAL-MAIN-LINK-color); - color: var(--INTERNAL-CODE-BLOCK-BG-color); + color: var(--INTERNAL-MAIN-BG-color); } #R-homelinks {