diff --git a/index.html b/index.html index f76fddb..0f11b3b 100644 --- a/index.html +++ b/index.html @@ -125,6 +125,7 @@ function make_menu() { document.getElementById(this.value).scrollIntoView(); var head=this.value.replace(/^anchor/,"head"); document.getElementById(head).classList.add("blink"); + fold_set(head.replace("head_",""),false); setTimeout(function(){ document.getElementById(head).classList.remove("blink"); }, 3000); document.getElementById("menu").value=""; };