function updateTextSize(element)
{
    if (element.id == "resize_small") {
        if(document.getElementById('panel_text')) 
        	document.getElementById('panel_text').className = 'small_text';
        else
        	document.getElementById('staff_panel_text').className = 'small_text';
    }
    else if (element.id == "resize_medium") {
        if(document.getElementById('panel_text')) 
        	document.getElementById('panel_text').className = 'medium_text';
        else
        	document.getElementById('staff_panel_text').className = 'medium_text';
    }
    else {
        if(document.getElementById('panel_text')) 
        	document.getElementById('panel_text').className = 'large_text';
        else
        	document.getElementById('staff_panel_text').className = 'large_text';
    }
}