function showOutline () {
		if(document.getElementById("outline-list").style.display != "block") {
        	document.getElementById("outline-list").style.display = "block";
        }
}

function hideOutline () {
		if(document.getElementById("outline-list").style.display != "none") {
        	document.getElementById("outline-list").style.display = "none";
        }
}