From 53a90a38ce020c60884718f4304edb2a5265adf1 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Tue, 28 Mar 2023 12:16:04 +0900
Subject: [PATCH] fix: Don't disable mouse hover UI functionality on touch
 screens (#5433)

Because devices can have both touch and mouse input.
---
 ietf/static/js/ietf.js | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/ietf/static/js/ietf.js b/ietf/static/js/ietf.js
index de8172228..11d5a5175 100644
--- a/ietf/static/js/ietf.js
+++ b/ietf/static/js/ietf.js
@@ -141,10 +141,8 @@ $(document)
                     attachTo.append(menu.join(""));
                 }
 
-                if (!("ontouchstart" in document.documentElement)) {
-                    $("ul.nav li.dropdown, ul.nav li.dropend")
-                        .on("mouseenter mouseleave", dropdown_hover);
-                }
+                $("ul.nav li.dropdown, ul.nav li.dropend")
+                    .on("mouseenter mouseleave", dropdown_hover);
             }
         });
     });