From fc86c1e637fdb91ee26475232b7a30831948a673 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Tue, 22 Feb 2022 20:51:04 +0100
Subject: [PATCH] theme: wrong default color for IE11 #181

---
 static/css/theme.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/css/theme.css b/static/css/theme.css
index 82005f0f16..43b54baee2 100644
--- a/static/css/theme.css
+++ b/static/css/theme.css
@@ -1082,7 +1082,7 @@ pre .copy-to-clipboard-button {
 pre .copy-to-clipboard-button:hover {
     background-color: #486ac9; /* var(--MAIN-LINK-color) */
     border-color: #486ac9; /* var(--MAIN-LINK-color) */
-    color: #000000; /* var(--CODE-BLOCK-color) */
+    color: #f8f8f8; /* var(--CODE-BLOCK-BG-color) */
 }
 
 #homelinks {