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, [Foo Str][Bar Bool][Baz (List Str)]
is equivalent to <
+