https://www.bnf.fr/themes/custom/bnfsi/js/remove_hover_rule.js?v=8.9.20

1/* 
2 * To change this license header, choose License Headers in Project Properties.
3 * To change this template file, choose Tools | Templates
4 * and open the template in the editor.
5 */
6
7
8// disable :hover on touch devices
9// based on https://gist.github.com/4404503 
10// via https://twitter.com/javan/status/284873379062890496
11// + https://twitter.com/pennig/status/285790598642946048
12// re http://retrogamecrunch.com/tmp/hover
13// NOTE: we should use .no-touch class on CSS
14// instead of relying on this JS code
15function removeHoverCSSRule() {
16  if ('createTouch' in document) {
17    try {
18      var ignore = /:hover/;
19      for (var i = 0; i < document.styleSheets.length; i++) {
20        var sheet = document.styleSheets[i];
21        if (!sheet.cssRules) {
22          continue;
23        }
24        for (var j = sheet.cssRules.length - 1; j >= 0; j--) {
25          var rule = sheet.cssRules[j];
26          if (rule.type === CSSRule.STYLE_RULE && ignore.test(rule.selectorText)) {
27            sheet.deleteRule(j);
28          }
29        }
30      }
31    }
32    catch(e) {
33    }
34  }
35}