From d27f5255c225dc56bec0b9b75d39dfddb64184e6 Mon Sep 17 00:00:00 2001 From: Luca Giovenzana Date: Sat, 26 Oct 2024 17:41:42 +0200 Subject: [PATCH] doc: generate doc --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 70e0c78..8c54446 100644 --- a/index.html +++ b/index.html @@ -1190,7 +1190,7 @@ jQuery.extend({highlight:function(e,t,n,r){if(e.nodeType===3){var i=e.data.match(t);if(i){var s=document.createElement(n||"span");s.className=r||"highlight";var o=e.splitText(i.index);o.splitText(i[0].length);var u=o.cloneNode(true);s.appendChild(u);o.parentNode.replaceChild(s,o);return 1}}else if(e.nodeType===1&&e.childNodes&&!/(script|style)/i.test(e.tagName)&&!(e.tagName===n.toUpperCase()&&e.className===r)){for(var a=0;a