function MM_onmouseover(tc)
{ if (tc.id == SelectedMenu) return;
var pn = tc.parentNode;
while (pn.tagName != "TABLE")
{pn=pn.parentNode;
}
pn.className = "buttonhover";
}
function MM_onmouseout(tc)
{ if (tc.id == SelectedMenu) return;
var pn = tc.parentNode;
while (pn.tagName != "TABLE")
{pn=pn.parentNode;
}
pn.className = "button";
}
function createAdjustableButtonStyles()
{ var st = ''
document.writeln(st);
}
function scaleDimensions(u,t)
{ switch (t)
{case "Height":
var h = window.screen.availHeight;
var ratio = h/993;
var r = Math.floor(u*ratio);
return (r);
break;
case "Width":
var w = window.screen.availWidth;
var ratio = w/1280;
var r = Math.floor(u*ratio);
return (r);
break;
case "Font":
var w = window.screen.availWidth;
var ratio = w/1280;
var r = Math.floor(u*ratio);
r=Math.max(r,8);
return (r);
break;
}
alert ("problem calling scaleDimensions() with " + t);
return (u);
}
var st = '';
document.writeln(st);