// JavaScript Document

function showNavigation()
{
  var nav = document.getElementById("mainNav_box");
  
  	// We stop the background fading interval
  	//clearInterval(intervalId); //commented because bg fader was removed
  
 	nav.style.visibility = "visible";
  	var logo = document.getElementById("logo");
  	logo.style.background = 'url(fileadmin/templates/images/logos/red.png)'  
   
}