/* Font Sizer ///////////////////////////////////////////////////////////////////*/

// the value set here must match the font size set in the stylesheet's BODY rule.
// this function must get called on body onLoad, or sizing won't work.
function initBaseFontSize() {
    document.getElementById('contentMain').style.fontSize = '1.0em';
}

function fontIncrease() {
    changeBodyFontSize(0.2);
}

function fontDecrease() {
    changeBodyFontSize(-0.2);
}

function changeBodyFontSize(change) {
    var size = document.getElementById('contentMain').style.fontSize;
    size = parseFloat(size) + parseFloat(change);

    if (size) {
        document.getElementById('contentMain').style.fontSize = size + 'em';
    }
}

/* END Font Sizer ////////////////////////////////////////////////////////////////*/

/* Bookmarker ////////////////////////////////////////////////////////////////////*/

function bookmark(title,url){
    if (window.sidebar) window.sidebar.addPanel(title, url,"");

    else if( window.opera && window.print )
    {
    var mbm = document.createElement('a');
    mbm.setAttribute('rel','sidebar');
    mbm.setAttribute('href',url);
    mbm.setAttribute('title',title);
    mbm.click();
    }

    else if( document.all ) window.external.AddFavorite( url, title);

}

/* END Bookmarker ////////////////////////////////////////////////////////////////*/

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}


// open centered window
function wopen(url, name, w, h)
{
  // Fudge factors for window decoration space.
  // In my tests these work well on all platforms & browsers.
  w += 32;
  h += 96;
  wleft = (screen.width - w) / 2;
  wtop = (screen.height - h) / 2;
  // IE5 and other old browsers might allow a window that is
  // partially offscreen or wider than the screen. Fix that.
  // (Newer browsers fix this for us, but let's be thorough.)
  if (wleft < 0) {
    w = screen.width;
    wleft = 0;
  }
  if (wtop < 0) {
    h = screen.height;
    wtop = 0;
  }
  var win = window.open(url,
    name,
    'width=' + w + ', height=' + h + ', ' +
    'left=' + wleft + ', top=' + wtop + ', ' +
    'location=no, menubar=no, ' +
    'status=no, toolbar=no, scrollbars=no, resizable=no');
  // Just in case width and height are ignored
  win.resizeTo(w, h);
  // Just in case left and top are ignored
  win.moveTo(wleft, wtop);
  win.focus();
}