///// FONT MANAGER

function increase_font() {

	window.location = "php/adjust_font_size.php?action=increase";
	
}


function decrease_font() {

	window.location = "php/adjust_font_size.php?action=decrease";
	
}


function popup_window(url,widthin,heightin) {

	DetailWindow = window.open(url,'ViewDetail','left=50,top=50,toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=yes,resizable=yes,width=widthin,height=heightin');
	DetailWindow.focus()

}