From 739cc49c0ce822564ce13ad28fa5f51edc63990b Mon Sep 17 00:00:00 2001
From: Rhiannon Morris <rhi@rhiannon.website>
Date: Tue, 4 Aug 2020 18:22:16 +0200
Subject: [PATCH] make filters into a <nav>

---
 make-pages/GalleryPage.hs | 4 ++--
 script/gallery.js         | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/make-pages/GalleryPage.hs b/make-pages/GalleryPage.hs
index b42e4bd..8b57578 100644
--- a/make-pages/GalleryPage.hs
+++ b/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>
diff --git a/script/gallery.js b/script/gallery.js
index b2e5f81..4358602 100644
--- a/script/gallery.js
+++ b/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) {