var menu = document.getElementById("menu");
var content = document.getElementById("content");
var body = document.getElementsByTagName("body")[0];
- var menuLoc = parseInt(getComputedStyle(menu).getPropertyValue("top"));
function menuOperator(node, position, token="") {
menu.setAttribute("class", position);