var content = document.getElementById("content")
var content_height = content.offsetHeight
var safe_height = 512

if(content_height < safe_height) {
    var spacer = document.getElementById("spacer")
    var new_height = safe_height - content_height
    spacer.style.setProperty("height", new_height + "px", null)
}