/**
 * 
 *
 * @version $Id: common.js,v 1.5 2007/05/23 13:47:09 emen Exp $
 * @copyright 2004 
 **/

// common usefull vars
//var isIEx = (navigator.userAgent.indexOf('Opera') != -1) ? 1 : 0;
var isOpr = (navigator.userAgent.indexOf('Opera') != -1) ? 1 : 0;
var isFox = (navigator.userAgent.indexOf('Firefox') != -1) ? 1 : 0;
var isMnk = (navigator.userAgent.indexOf('SeaMonkey') != -1) ? 1 : 0;
var isNet = (navigator.userAgent.indexOf('Netscape') != -1) ? 1 : 0;


// common usefull functions
function reload()
{
	window.location = window.location;
}

function getScrollerWidth()
{
    var scr = null;
    var inn = null;
    var wNoScroll = 0;
    var wScroll = 0;

    // Outer scrolling div
    scr = document.createElement('div');
    scr.style.position = 'absolute';
    scr.style.top = '-1000px';
    scr.style.left = '-1000px';
    scr.style.width = '100px';
    scr.style.height = '50px';
    // Start with no scrollbar
    scr.style.overflow = 'hidden';

    // Inner content div
    inn = document.createElement('div');
    inn.style.width = '100%';
    inn.style.height = '200px';

    // Put the inner div in the scrolling div
    scr.appendChild(inn);
    // Append the scrolling div to the doc
    document.body.appendChild(scr);

    // Width of the inner div sans scrollbar
    wNoScroll = inn.offsetWidth;
    // Add the scrollbar
    scr.style.overflow = 'auto';
    // Width of the inner div width scrollbar
    wScroll = inn.offsetWidth;

    // Remove the scrolling div from the doc
    document.body.removeChild(document.body.lastChild);

    // Pixel width of the scroller
    return (wNoScroll - wScroll);
}