From 1fc8f1df37e92f18e8d35f4c282a48ffb8f2cb02 Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Thu, 8 Dec 2022 22:00:57 -0500
Subject: [PATCH] Close tutorial ToC after clicking a link

---
 www/public/site.js             | 5 +++++
 www/public/tutorial/index.html | 1 +
 2 files changed, 6 insertions(+)
 create mode 100644 www/public/site.js

diff --git a/www/public/site.js b/www/public/site.js
new file mode 100644
index 0000000000..92acf5ac15
--- /dev/null
+++ b/www/public/site.js
@@ -0,0 +1,5 @@
+document.querySelectorAll("#tutorial-toc li a").forEach((elem) => {
+    elem.addEventListener("click", (event) => {
+        document.querySelector("#tutorial-toc-toggle").checked = false;
+    })
+});
\ No newline at end of file
diff --git a/www/public/tutorial/index.html b/www/public/tutorial/index.html
index 106de7feff..9ae412dce6 100644
--- a/www/public/tutorial/index.html
+++ b/www/public/tutorial/index.html
@@ -1859,5 +1859,6 @@ For example, <code>[Foo Str][Bar Bool][Baz (List Str)]</code> is equivalent to <
 </table>
 </main>
 <footer>Made by people who like to make nice things. © 2022</footer>
+<script src="/site.js"></script>
 </body>
 </html>