pub / serci

Search the web with !keywords
git clone https://https://src.jayvii.de/pub/serci.git
Home | Log | Files | Exports | Refs | README | RSS

commit 343e430561922225de26740beba36f08bb54eace
parent 73385e9a593b09a4d791cb71af9f223595d94af3
Author: JayVii <jayvii[AT]posteo[DOT]de>
Date:   Thu, 17 Oct 2024 22:36:50 +0200

fix: workaround javascript quirks

Diffstat:
Massets/css/custom.css | 2+-
Mindex.php | 3++-
2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/assets/css/custom.css b/assets/css/custom.css @@ -79,7 +79,7 @@ article.selected { } /* Add Text-Marker for selected search engines */ -article.selected > marker { +article.selected > mark { display: initial !important; } diff --git a/index.php b/index.php @@ -451,7 +451,8 @@ var entries = document.querySelectorAll("article") for (let i = 0; i < entries.length; i++) { if ( - entries[i].innerText.toLowerCase().match(pat) === null + !(entries[i].classList.contains("hidden")) && + entries[i].innerText.toLowerCase().match(pat) == null ) { entries[i].classList.add("hidden"); } else {