From fe05e145ab6bbd040ab557f8802845acc3641f13 Mon Sep 17 00:00:00 2001
From: Lucien Cartier-Tilet <lucien@phundrak.com>
Date: Tue, 26 May 2020 20:54:37 +0200
Subject: [PATCH] Underline of tooltiped text is now more visible

---
 web/style/style.scss | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/web/style/style.scss b/web/style/style.scss
index 037631d..7f87ac6 100644
--- a/web/style/style.scss
+++ b/web/style/style.scss
@@ -6,6 +6,8 @@ $switch-smaller-screen: "only screen and (max-width: 400px)";
 $navbar-height: 70px;
 $postamble-height: 55px;
 
+$tooltip-underline-size: 3px;
+
 // Themes /////////////////////////////////////////////////////////////////////
 
 $dark:                         rgba( 52,  73,  94, 1);
@@ -87,7 +89,7 @@ $gradient-accent3-light-right: linear-gradient(to right, $light,  $accent3);
     }
 
     .tooltip {
-        border-bottom: 1px dotted $accent3;
+        border-bottom: $tooltip-underline-size dotted $accent3;
 
         .tooltiptext {
             background-color: $accent3;
@@ -165,7 +167,7 @@ $gradient-accent3-light-right: linear-gradient(to right, $light,  $accent3);
     }
 
     .tooltip {
-        border-bottom: 1px dotted $accent1;
+        border-bottom: $tooltip-underline-size dotted $accent1;
 
         .tooltiptext {
             background-color: $accent1;