// ------------------------------ Menükezelés -------------------------------
buttons_count = 15;
buttons = new Array();

hidden = true;


function g_down(button_id) {  
   document.getElementById(button_id+"_down").style.visibility = "visible";
  
}

function g_up(button_id) { 
   document.getElementById(button_id+"_down").style.visibility = "hidden";
}


function correct_height(){
   while(document.getElementById('inside').clientHeight<document.getElementById('menu').clientHeight + 100){
      document.getElementById('spacer').innerHTML = document.getElementById('spacer').innerHTML + "<br />";
   }
}