// JavaScript Document
function doZoom(size){
	document.getElementById('_article_content').style.fontSize = size+'px';
}