window.addEventListener('load', function() {
    var menuLoc = 0;
    var links = document.getElementById("links").children[0].children;
    var menu = document.getElementById("menu");
    function menuMove(node) {
        if(menuLoc) return;
        menu.setAttribute("class", "top");
        setTimeout(function() { menu.setAttribute("class", "left") }, 600);
        menuLoc = 1;
    }
    for(var i = 0; i < links.length; i++) {
        links[i].onclick = function(node) { menuMove(node); };
    }
}, false);