// this function fixes the scroll bar 'jump' when using an Ajax timer tick
function scrollTo() {
    return;
}

function Minimize() {
    top.window.blur();
}
 
function ChangeCheckboxes() {
    // ":not([safari])" is desirable but not necessary selector
    $('input:checkbox:not([safari])').checkbox();
    $('input[safari]:checkbox').checkbox({cls:'jquery-safari-checkbox'});
    $('input:radio').checkbox();
} 

function hideTooltip(id) {
    try {
        // tips code from global.js
        var tips = $('#' + id);
        tips.hide();
        aTips = new Array();
        for (i = 0; i < tips.length; i++)
        {
	        aTips[i] = new Tooltip(tips.get(i));
        }
        for (i = 0; i < aTips.length; i++)
        {
	       aTips[i].positionTip();
        }
    } catch (err) {}
}

function checkJava() {
    if (isJavaAvailable()) {
        $('#chatnojava').hide();
        $('#chatpanel').show();
    }
}

function isJavaAvailable() {
    var javatext = '';
    try {
        javatext = new java.lang.String('java enabled');
    } catch (err) {}
    return (javatext != '');
}