function resizePageContent(s)
{
 page = document.getElementById('webpage_content_main');
 if (page) {
	  page.style.fontSize = s+"px";
 } 
}