var menu;

function configMenu() {
  this.closeDelayTime = 300
  // this.collapseBorders = false;
}

function initMenu() {
	if (document.getElementById('menu').hasChildNodes()) {
		menu = new Menu('menu-root', 'menu', configMenu);
	}
}

onload = initMenu;