From 6f21834e71e157ff9ec212f68272d6d2b88ef709 Mon Sep 17 00:00:00 2001
From: AHOHNMYC <24810600+AHOHNMYC@users.noreply.github.com>
Date: Wed, 13 Apr 2022 04:23:10 +0300
Subject: [PATCH] Real minus sign instead of hyphen-minus

Minus sign in comparison with hyphen-minus (symbol that prints your keyboard by default) has horizontal line on same level as plus sign and same width, so one can be toggled to another with perfect visuals.
https://en.wikipedia.org/wiki/Plus_and_minus_signs
https://en.wikipedia.org/wiki/Hyphen-minus
---
 assets/css/search.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/assets/css/search.css b/assets/css/search.css
index bbbd9fa9..5ca141d0 100644
--- a/assets/css/search.css
+++ b/assets/css/search.css
@@ -20,7 +20,7 @@ summary:before {
 	width: 40px;
 }
 
-details[open] > summary:before { content: "[ ‒ ]"; }
+details[open] > summary:before { content: "[ − ]"; }
 
 
 #filters-box {