From 683fc11b32acf8407d7a65d89e8caae26bfe9c67 Mon Sep 17 00:00:00 2001
From: Toni Verbeiren <toni.verbeiren@gmail.com>
Date: Fri, 10 Nov 2023 15:58:23 +0100
Subject: [PATCH] Remove hover from toolbox for mobile devices

---
 styles.css | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/styles.css b/styles.css
index b0b13123..e8031802 100644
--- a/styles.css
+++ b/styles.css
@@ -7,6 +7,7 @@ General
 */
 
 /* General */
+
 body {
   --scale: 1.0;
   font-weight: 400;
@@ -394,6 +395,7 @@ Toolbox layout
 
 .tool-icon {
   max-height: 100%;
+  /* height: 130%; */
   vertical-align: middle;
 }
 
@@ -412,6 +414,17 @@ Toolbox layout
   display: block;
 }
 
+/* Deal with devices that do not support hover */
+@media(hover:none) {
+  .tool-icon {
+    opacity: 40%;
+  }
+
+  .tool-tooltip-text {
+    display: block;
+  }
+}
+
 @keyframes fadeOut {
   0% { opacity: 100%; }
   100% { visibility: 40%; }