From 1b64cdd7476b601b3b2eef0fd59a6fd84badee6c Mon Sep 17 00:00:00 2001
From: jomo <jomo@aachen.ccc.de>
Date: Fri, 5 Aug 2022 22:09:44 +0200
Subject: [PATCH] fix filtered and "hidden" items showing up when showhidden is
 set

---
 static/style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/static/style.css b/static/style.css
index 59a1f31..be8a9bd 100644
--- a/static/style.css
+++ b/static/style.css
@@ -47,6 +47,10 @@ h1 a {
   display: block;
 }
 
+#results.showhidden .result.hidden.filtered {
+  display: none;
+}
+
 .result.filtered {
   display: none;
 }