Browse Source

Wiki javascript: updating height to 200 fixes #3659

Julio Montoya 13 years ago
parent
commit
2f5126fdba
1 changed files with 1 additions and 1 deletions
  1. 1 1
      main/wiki/index.php

+ 1 - 1
main/wiki/index.php

@@ -326,7 +326,7 @@ function menu_wiki(){
  else{
  else{
 	 var w=160;
 	 var w=160;
 	 var b=1;
 	 var b=1;
-	 var h=160;
+	 var h=200;
  }
  }
 
 
 document.getElementById("menuwiki").style.width=w+"px";
 document.getElementById("menuwiki").style.width=w+"px";