From 159160a9b0012d931bade6f503179a05c1df77c5 Mon Sep 17 00:00:00 2001
From: Marcell Mars <ki.ber@kom.uni.st>
Date: Tue, 8 Dec 2020 17:21:37 +0100
Subject: [PATCH] stubborn in keeping bold on hover (for david)

---
 customizations/Dotawo/assets/css/site.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/customizations/Dotawo/assets/css/site.css b/customizations/Dotawo/assets/css/site.css
index 3844878..2837d33 100644
--- a/customizations/Dotawo/assets/css/site.css
+++ b/customizations/Dotawo/assets/css/site.css
@@ -104,6 +104,7 @@ a.edit-button:hover {
     -webkit-text-decoration-color: red;
     text-decoration-color: red;
     font-weight: 700;
+    font-size: 0.95em;
     cursor: pointer
 }
 
@@ -345,7 +346,7 @@ a:hover {
     text-decoration: underline;
     text-decoration-color: red;
     font-weight: 700;
-    font-size: 0.97em;
+    font-size: 0.95em;
     cursor: pointer;
 }