function $(id) { return document.getElementById(id); }

function update_content_width() {

	var nav = $("nav-2"); if (!nav) { return false; }
	
    var content = $("content"); if (!content) { return false; }

    content.style.width = "65%"; nav.style.width = "30%";
    
}