var navigationDiv = document.getElementById('marburg_navigation');
var hiddenNavigation = true;
var currentMMTimeout = null;
var timeUntilHideNavigation = 2000;

function checkForMouseMove(){
    if(hiddenNavigation){
        navigationDiv.style.display = "block";
    }
    if(currentMMTimeout != null){
        clearTimeout(currentMMTimeout);
    }
    currentMMTimeout = setTimeout('hideNavigation()', timeUntilHideNavigation);
}

function hideNavigation(){
    navigationDiv.style.display = "none";
    currentMMTimeout = null;
}