function $e(el){
	return document.getElementById(el);
}




var size = 0;
var newSize = [1,3,0];
function size_text(){
 var diff = 3;
   $$('.sizable').each(function(e){
    if(e == null) return; 
     e.style.fontSize= 13+newSize[size%diff]+"px";
     e.style.lineHeight= 18+newSize[size%diff]+"px";
 }); 
 size++;
}