function setPageHeight(){
    var menu=document.getElementById("menu");
    var content=document.getElementById("content");
    if(menu.scrollHeight>content.scrollHeight) content.style.height=menu.scrollHeight+"px";
}