// Menu related
function showMenu() {
	document.getElementById('side_menu').style.display = "block";
}
function hideMenu() {
	document.getElementById('side_menu').style.display = "none";
}