// Relevant bits snipped from the HTML:
// #mMenu starting style:
// position: absolute;
// top: 1px;
// left: 1px;
// visibility: hidden;
// z-index: 300;
// width: 130px;
// line-height: 0;
// body onload="initMenu()"
// div id="mMenu"
// Some Global Variables:
var menuFiles = new Array();
var menuPlace = new Array();
var menuAltex = new Array();
var titleIm1, titleIm2;
var preOff = new Array();
var preOn = new Array();
var theTarg = "_self";
var aPointer; // The activation button
var mPointer; // The Menu itself
var closeInterval; // Menu Closing flag
var clockPointer; // The demonstration "Clock" example
var blearg = getCookie("setup");
if (document.layers) { blearg = "default" };
// =====================================================================
// a few flags for things that are sometimes turned on, but usually not.
// To activate one of these, add a