diff --git a/static/custom.js b/static/custom.js
index c9a523f..dac7c4a 100644
--- a/static/custom.js
+++ b/static/custom.js
@@ -1,3 +1,4 @@
+// hide nav if ?hide-nav=true
 window.onload = () => {
     if ((new URL(window.location.href)).searchParams.get("hide-nav") === "true") {
         document.querySelector(".wy-nav-side").setAttribute("style", "display: none");