var set_content_height = function () {
    // set height of content
    var w_height = window.innerHeight;
    var content = document.getElementById("content");
    var min_height = w_height - 60 + "px";
    content.style.height = min_height;
}