Enhance search filter UI for JS disabled users

Change filters UI box to use <details>.

Stylize detail button for filter ui

Fix localization for 'filter'

Fix CSS

Fix styling

assets/css/default.css

@@ -628,6 +628,31 @@ body.dark-theme {
   }
 }
 
-#filters {
-  display: none;
-}
+#filters
+  display: inline;
+  margin-top: 15px;
+}
+
+#filters > div {
+  display: inline-block;
+}
+
+#filters > summary {
+  display: inline-block;
+  margin-bottom:15px;
+}
+
+#filters > summary {
+  display: inline-block;
+  margin-bottom:15px;
+}
+
+#filters > summary::before {
+  content: "[ + ]";
+  font-size: 1.5em;
+}
+
+#filters[open] > summary::before {
+  content: "[ - ]";
+  font-size: 1.5em;
+}

assets/js/search.js

@@ -1,13 +0,0 @@
-function toggle_comments(event) {
-    var target = event.target;
-    var body = document.getElementById('filters');
-    if (body.style.display === 'flex') {
-        target.innerHTML = '[ + ]';
-        body.style.display = 'none';
-    } else {
-        target.innerHTML = '[ - ]';
-        body.style.display = 'flex';
-    }
-}
-
-document.getElementById('togglefilters').onclick = toggle_comments;