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