small fix

wiki/menu.html

@@ -136,7 +136,7 @@
   let navbar = document.getElementById("my-navbar");
   let items = navbar.children;
   function over(el){
-      for (i = 0; i < 7; i++){
+      for (i = 0; i < 4; i++){
           items[i].children[0].style.color = "#185A4F";
       }
       el.children[0].style.color = "#62D881";
@@ -160,7 +160,7 @@
       }
   }
   function leave(el){
-      for (i = 0; i < 7; i++){
+      for (i = 0; i < 4; i++){
           items[i].children[0].style.color = "#185A4F";
       }
       if (el.children.length > 1){