From 2ecf39ba302b276b8e161bd51a5f67921a1c7f71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Sun, 29 May 2022 00:36:36 +0200
Subject: [PATCH] theme: fix link underline color in IE #256

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

diff --git a/static/css/ie.css b/static/css/ie.css
index 87a963db52..b7d7cc457e 100644
--- a/static/css/ie.css
+++ b/static/css/ie.css
@@ -16,7 +16,7 @@
 	.anchor:hover,
 	#toc-menu:hover,
 	#body a.highlight:after {
-		color: #134fbf; /* var(--MAIN-LINK-HOVER-color) */
+		color: #202891; /* var(--MAIN-LINK-HOVER-color) */
 	}
 
 	#sidebar {