// JS per patchmenu
window.onload = function(){ 
	var cerca = document.getElementById('cercabox'); 
	var podcast = document.getElementById('podcastbox');
	var rss = document.getElementById('rssbox');
	document.getElementById('cercabutt').onclick = function(){ 
		cerca.style.display = 'block';
		podcast.style.display = 'none';
		rss.style.display = 'none';
	}
	document.getElementById('podcastbutt').onclick = function(){ 
		cerca.style.display = 'none';
		podcast.style.display = 'block';
		rss.style.display = 'none';
	}
	document.getElementById('rssbutt').onclick = function(){ 
		cerca.style.display = 'none';
		podcast.style.display = 'none';
		rss.style.display = 'block';
	}
}