make filters into a <nav>

make-pages/GalleryPage.hs

@@ -43,7 +43,7 @@ make' (GalleryInfo {title, prefix, filters, hidden}) infos = [b|@0
       </h2>
     </header>
 
-    <form id=filters>
+    <nav id=filters>
       <details>
         <summary><h2>filters</h2></summary>
         <div>
@@ -61,7 +61,7 @@ make' (GalleryInfo {title, prefix, filters, hidden}) infos = [b|@0
           <a href=# id=reset>default</a>
         </div>
       </details>
-    </form>
+    </nav>
 
     <main>
       <ul class=grid>

script/gallery.js

@@ -65,7 +65,7 @@ function clear(e) {
 }
 
 function resetForm() {
-  document.getElementById('filters').reset();
+  allBoxes.forEach(b => b.checked = b.defaultChecked);
 }
 
 function reset(e) {